Distributed Computing and Internet Technology
Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida
₹3,776
Fm 2015
Formal Methods: 20th International Symposium, Proceedings: 9109
by Nikolaj Bjørner, Frank de Boer
Springer-Nature New York Inc · 2015 · Paperback
₹4,308
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Fm 2015: Formal Methods: 20th International Symposium, Proceedings: 9109 by Nikolaj Bjørner & Frank de Boer is a 610-page paperback edition published by Springer-Nature New York Inc in 2015.
Its main subjects are System design.
Subjects
Book details
- ISBN-13
- 9783319192482
- ISBN-10
- 3319192485
- Authors
- Nikolaj Bjørner, Frank de Boer
- Publisher
- Springer-Nature New York Inc
- Published
- 2015
- Edition
- 2015 ed.
- Binding
- Paperback
- Pages
- 610
- Language
- English
- Condition
- New
- Subject
- Business & Economics
More by Nikolaj Bjørner and related titles
Logic for Programming, Artificial Intelligence, and Reasoning
Nikolaj Bjørner, Andrei Voronkov
₹5,609
Small List, Big Results
Robbie Samuels
₹3,773
Soon
Andrew Santella
₹2,131
The Dynamics of Care
Douglas McKelvie, Eric Wolstenholme
₹6,606
Surviving the Apocalypse in the Suburbs
Wendy Brown
₹4,015
Foundations of Synergetics II
Alexander S. Mikhailov, Alexander Yu Loskutov
₹3,963
Early Utilitarians
Ken Binmore
₹2,879
Globalization State of the Art and Perspectives (hb 2007)
Schirm Stefan A.
₹13,951
Supervision in the Legal Profession
Michael John McNamara
₹3,700
DK Essential Managers
DK
₹3,566
Evaluation in Advertising Reception
UNKNOWN
₹3,951