Logics and Models of Concurrent Systems
Krzysztof R. Apt
₹7,773
Programmverifikation
Sequentielle, parallele und verteilte Programme
by Krzysztof R. Apt, Ernst-Rüdiger Olderog
Springer · 1996 · Paperback
₹2,595
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
Published by Springer in 1996, Programmverifikation: Sequentielle, parallele und verteilte Programme by Krzysztof R. Apt & Ernst-Rüdiger Olderog runs to 258 pages in paperback.
Topics covered include Logic Design, Fairneßannahmen, Operationelle Semantik and Programmtransformation.
About the author: Krzysztof R. Apt (born 1949).
Book details
- ISBN-13
- 9783540574798
- ISBN-10
- 3540574794
- Authors
- Krzysztof R. Apt, Ernst-Rüdiger Olderog
- Publisher
- Springer
- Author dates
- Krzysztof R. Apt (born 1949)
- Published
- 1996
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 258
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Krzysztof R. Apt and related titles
Recent Advances in Constraints
Krzysztof R. Apt, Francois Fages, Francesca Rossi
₹5,521
Lectures in Game Theory for Computer Scientists
Krzysztof R. Apt, Erich Grädel
₹4,827
Brief History of Mathematics for Curious Minds, A
Krzysztof R. Apt
₹4,044
Constraint Logic Programming using Eclipse by R. Krzysztof Apt
Krzysztof R. Apt
₹5,201
Automated Technology for Verification and Analysis
Ahmed Bouajjani, Wei-Ngan Chin
₹5,593
Quality of Software Architectures Models and Architectures
Hutchison, David - undifferentiated
₹4,263
Fudamentals of Digital Logic with VHDL Design
Stephen Brown, Zvonko Vranesic
₹3,115
New Modeling Concepts for Today's Software Processes
Jürgen Münch, Ye Yang, Wilhelm Schäfer
₹5,584
Runtime Verification
Koushik Sen, Sarfaz Khurshid
₹5,672
Fundamental Approaches to Software Engineering
Mauro Pezzè
₹5,722
Stacs 86
B. Monien, G. Vidal-Naquet
₹3,966