Model Checking Software
Klaus Havelund, Rupak Majumdar, Jens Palsberg
₹5,568
Formal Methods
22nd International Symposium
by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
Springer International Publishing AG · 2018 · Paperback
₹6,998
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
Formal Methods: 22nd International Symposium by Klaus Havelund, Jan Peleska & others is a 692-page paperback edition published by Springer International Publishing AG in 2018.
Topics covered include Artificial intelligence.
Subjects
Book details
- ISBN-13
- 9783319955810
- ISBN-10
- 3319955810
- Authors
- Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
- Publisher
- Springer International Publishing AG
- Published
- 2018
- Edition
- 1st ed. 2018
- Binding
- Paperback
- Pages
- 692
- Language
- English
- Condition
- New
- Subject
- Artificial intelligence
More by Klaus Havelund and related titles
Formal Approaches to Software Testing and Runtime Verification
Klaus-havelund
₹2,656
Nasa Formal Methods
Klaus Havelund, Gerard Holzmann, Rajeev Joshi
₹4,275
Machine Learning for Protein Subcellular Localization Prediction
Man-Wai Mak, Shibiao Wan
₹8,231
Information Dynamics in Cognitive, Psychological, Social, and Anomalous Phenomena
Andrei Y. Khrennikov
₹4,278
Readings in Artificial Intelligence
Nils J. Nilsson
₹2,958
Search Theory
Steve Alpern, Robbert Fokkink, Leszek Gąsieniec, Roy Lindelauf, V.S. Subrahmanian
₹7,762
Intelligent Computation in Big Data Era
Hongzhi Wang, Haoliang Qi, Wanxiang Che
₹4,245
Model Checking and Artificial Intelligence
Ron Van Der Meyden, Jan-Georg Smaus
₹5,449
Artificial Social Systems
Cristiano Castelfranchi, Eric Werner
₹5,683
Extending Deontic Logic for the Formalisation of Legal Rules
L. L. Royakkers
₹12,802
Inductive Logic Programming
Fabrizio Riguzzi
₹3,630