Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,240
Distributed Programming
Theory and Practice
Springer-Verlag New York Inc. · 2012
₹4,277
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
Distributed Programming: Theory and Practice by A. Udaya Shankar is a 386-page book published by Springer-Verlag New York Inc. in 2012.
The book deals with Logic design, Models and Principles, Programming Techniques and Logics and Meanings of Programs.
Book details
- ISBN-13
- 9781461448808
- ISBN-10
- 1461448808
- Author
- A. Udaya Shankar
- Publisher
- Springer-Verlag New York Inc.
- Published
- 2012
- Edition
- 2013 ed.
- Pages
- 386
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Rewriting Techniques and Applications
Andrei Voronkov
₹5,690
Theory of Digital Automata
Valery Lahno, Mykola Karpinskyy, Bohdan Borowik, Oleksandr Petrov
₹8,178
Trends in Functional Programming
Rex Page, Zoltan Horvath, Viktoria Zsók
₹5,705
Fundamentals of Logic Design, International Edition
Charles Roth, Larry Kinney
₹2,749
Latin '95
Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete
₹5,647
Types for Proofs and Programs
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
₹5,481
Interactive Theorem Proving
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
₹5,593
Theoretische Informatik
Klaus W. Wagner
₹2,155
Computer Aided Verification
Tayssir Touili, Byron Cook, Paul Jackson
₹5,452
Verification, Model Checking, and Abstract Interpretation
Agostino Cortesi
₹5,666
Concrete Semantics
Gerwin Klein, Tobias Nipkow
₹6,228