Fundamental Approaches to Software Engineering
Marieke Huisman, Julia Rubin
₹4,255
Concise Guide to Software Verification
From Model Checking to Annotation Checking
by Marieke Huisman, Anton Wijs
Springer-Nature New York Inc · 2024
₹4,538
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
Concise Guide to Software Verification: From Model Checking to Annotation Checking by Marieke Huisman & Anton Wijs is a 248-page book published by Springer-Nature New York Inc in 2024.
The book deals with Mathematics.
Subjects
Book details
- ISBN-13
- 9783031301698
- ISBN-10
- 3031301692
- Authors
- Marieke Huisman, Anton Wijs
- Publisher
- Springer-Nature New York Inc
- Published
- 2024
- Edition
- 2023 ed.
- Pages
- 248
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Marieke Huisman and related titles
Proceedings of International Conference on Innovations in Software Architecture and Computational Systems
Somnath Mukhopadhyay Jyotsna Kumar Mandal, Santanu Kumar Sen Aynur Unal
₹3,579
A Romantics Chronology, 1780-1832
Martin Garrett
₹4,620
Confucian Geopolitics
Ning an
₹4,579
The Naked Android
Julie Carpenter
₹4,736
Teach Yourself Visually MacBook Pro
Guy Hart-Davis
₹1,632
Networked and Event-Triggered Control Approaches in Cyber-Physical Systems
Jinhui Zhang, Yuanqing Xia, Duanduan Chen, Zhongqi Sun
₹4,491
Fundamentals of Signal Processing in Generalized Metric Spaces
Andrey Popoff
₹14,554
Applied Statistics with Python
Leon Kaganovskiy
₹8,710
Advanced Microsystems for Automotive Applications 2010
Gereon Meyer
₹21,236
Wavelets and Their Applications
J. S. Byrnes
₹22,985
Typesetting tables with LaTeX
Herbert Voss
₹3,575