Formal Methods Teaching
Brijesh Dongol, Luigia Petre, Graeme Smith
₹4,256
Integrated Formal Methods
16th International Conference
by Brijesh Dongol, Elena Troubitsyna
Springer-Nature New York Inc · 2020
₹4,265
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
Integrated Formal Methods: 16th International Conference by Brijesh Dongol & Elena Troubitsyna is a 461-page book published by Springer-Nature New York Inc in 2020.
Book details
- ISBN-13
- 9783030634605
- ISBN-10
- 3030634604
- Authors
- Brijesh Dongol, Elena Troubitsyna
- Publisher
- Springer-Nature New York Inc
- Published
- 2020
- Edition
- 1st ed. 2020
- Pages
- 461
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Brijesh Dongol and related titles
Mastering Oracle SQL
Sanjay Mishra
₹4,103
Sadness Expressions in English and Chinese
Ruihua Zhang
₹4,621
Mediated Interfaces
Katie Warfield, Crystal Abidin, Carolina Cambre
₹17,214
Secure Data Science
Bhavani Thuraisingham, Latifur Khan, Murat Kantarcioglu
₹3,867
Protecting Individual Privacy in the Struggle Against Terrorists
Committee on National Statistics, Computer Science, Telecommunications Board, Division of Behavioral, Social Sciences, Education, Committee on Law, Justice, Committee on Technical, Privacy Dimensions of Information for Terrorism Prevention, Other Nat, Division on Engineering, Physical Sciences, National Research Council
₹7,764
Prisoners of the Sumatra Railway Narratives of History and Memory
Lizzie Oliver
₹4,778
Pro Php 8 Mvc
Christopher Pitt
₹4,737
The Age of Smart Information
M. Pell
₹2,097
Our Biometric Future
Kelly A. Gates
₹12,072
Lectures on Matrix Field Theory
Badis Ydri
₹3,198
Sams Teach Yourself the Twitter API in 24 Hours
PERI, HO
₹3,287