Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,240
Theory of Digital Automata
63
by Valery Lahno, Mykola Karpinskyy, Bohdan Borowik, Oleksandr Petrov
Springer · 2012
₹8,178
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹7,678 for this book (save ₹500).
9% off every book, up to ₹500 off per order.
About this book
Theory of Digital Automata: 63 is written by Valery Lahno, Mykola Karpinskyy & others. This edition is published by Springer (2012).
The book deals with Systems engineering, Logic design, Engineering and Circuits and Systems.
Book details
- ISBN-13
- 9789400752276
- ISBN-10
- 940075227X
- Authors
- Valery Lahno, Mykola Karpinskyy, Bohdan Borowik, Oleksandr Petrov
- Publisher
- Springer
- Published
- 2012
- Edition
- 2013 ed.
- Pages
- 208
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Verification, Model Checking, and Abstract Interpretation
VMCAI 2010 (2010 Madrid, Spain)
₹4,285
Extreme Programming and Agile Methods - Xp/Agile Universe 2003
Frank Maurer, Don Wells
₹5,487
Introductory Digital Design
Mark S. Nixon
₹2,981
Types in Compilation
Robert Harper
₹5,562
Fundamentals of Logic Design, International Edition
Charles Roth, Larry Kinney
₹2,749
Software Engineering 1
Dines Bjørner
₹5,159
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog
₹5,618
Objektorientierter Softwareentwurf
Ruth Breu
₹3,508
The Parametric Lambda Calculus
Simona Ronchi Della Rocca, Luca Paolini
₹4,315
Algebraic Methodology and Software Technology
Michael Johnson, Dusko Pavlovic
₹5,505
Computer Engineering and Technology
Weixia Xu
₹4,246