Integrated Formal Methods
Brijesh Dongol, Elena Troubitsyna
₹4,265
Formal Methods Teaching
Third International Workshop and Tutorial
by Brijesh Dongol, Luigia Petre, Graeme Smith
Springer Nature Switzerland AG · 2019 · Paperback
₹4,256
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 Teaching: Third International Workshop and Tutorial is written by Brijesh Dongol, Luigia Petre & others. This paperback edition from Springer Nature Switzerland AG (2019) has 245 pages.
Book details
- ISBN-13
- 9783030324407
- ISBN-10
- 3030324400
- Authors
- Brijesh Dongol, Luigia Petre, Graeme Smith
- Publisher
- Springer Nature Switzerland AG
- Published
- 2019
- Edition
- 1st ed. 2019
- Binding
- Paperback
- Pages
- 245
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Brijesh Dongol and related titles
Designing Embedded Systems and the Internet of Things (IoT) with the ARM mbed
Perry Xiao
₹13,243
Smart Card Manufacturing
Yahya Haghiri, Thomas Tarantino
₹9,103
Tweets and the Streets
Paolo Gerbaudo
₹7,886
Ruby Recipes
Malay Mandal
₹2,251
Quantum Computing for Everyone
Chris Bernhardt
₹2,864
System Modeling and Optimization
IFIP Conference on System Modeling and Optimization (22nd 2005 Turin, Italy)
₹7,734
Computational Frameworks for the Fast Fourier Transform
Charles Van Loan
₹7,091
Network and Parallel Computing
Xiaoxin Tang, Quan Chen, Pradip Bose, Weiming Zheng, Jean-Luc Gaudiot
₹4,254
Mapping the New Left Antisemitism
Alan Johnson
₹4,020
Adhoc & Wireless Sensor Networks for BE Anna University R17
Anamitra Deshmukh-Nimbalkar
₹3,193
Information Security Applications
Ilsun You
₹3,739