Objektorientierter Softwareentwurf
Ruth Breu
₹3,508
Nasa Formal Methods
5th International Symposium
Springer-Verlag New York Inc · 2013 · Paperback
₹4,270
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
Nasa Formal Methods: 5th International Symposium by Guillaume Brat is a 510-page paperback edition published by Springer-Verlag New York Inc in 2013.
Topics covered include Software engineering, Programming Techniques, Logic design and Logics and Meanings of Programs.
Book details
- ISBN-13
- 9783642380877
- ISBN-10
- 3642380875
- Author
- Guillaume Brat
- Publisher
- Springer-Verlag New York Inc
- Published
- 2013
- Edition
- 2013 ed.
- Binding
- Paperback
- Pages
- 510
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Verilog Hdl Synthesis
J. Bhasker
₹2,660
Logic and Its Applications
Mohua Banerjee, Anil Seth
₹5,499
Theorem Proving in Higher Order Logics
Joe Hurd
₹4,776
Algebraic Methodology and Software Technology
Meseguer J.
₹2,810
Fme '94
Maurice Naftalin, Tim Denvir, Miquel Bertran
₹4,197
Logic Synthesis for Control Automata
Samary Baranov
₹11,550
Model Checking Software
Alex Groce, Madanlal Musuvathi
₹5,701
Extensions of First-Order Logic
Maria Manzano, C. J. Van Rijsbergen, Samson Abramsky
₹4,297
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,247
Types in Compilation
Robert Harper
₹5,562
Recent Advances in Constraints
Krzysztof R. Apt, Francois Fages, Francesca Rossi
₹5,521