Graphic Novels 7546 Manga & Manhwa 13498 Superheroes 3982 Fantasy 3546 Literary & Historical 2887 Romance & Slice of Life 2286 Horror & Supernatural 1800 Action, Crime & Mystery 1681 Movies, TV & Games 1266 Humor 1281 Diverse Voices 717 LGBTQ+ 440 ✨ What to Read
All Genres ›
✨ New Verification of Digital and Hybrid Systems (Softcover Reprint of the Original 1st 2000) — Graphic Novels
📖 Have you read this book?
Your review can inspire others to read it

Verification of Digital and Hybrid Systems (Softcover Reprint of the Original 1st 2000)

✍️ Inan, M Kemal
Panel Score
4.6
☆ No reviews yet — be the first
$109.99
In stock — ready to ship Ships in 1–2 business days
🏛 Springer 📅 2011 📖 405 pages 🌐 English 📔 Paperback ISBN: 9783642640520

📝 Description: Verification of Digital and Hybrid Systems (Softcover Reprint of the Original 1st 2000)

Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997.

⭐ Reader reviews

The starting rating comes from the team Manga Lane —

Reader rating

Reviews yet. Be the first!

📖 Further reading

📖 From the series “NATO Asi Subseries F:”

Deductive Program Design (1996)
★★★★★
★★★★★
4.6
Broy, Manfred
Deductive Program Design (1996)
$219.99
85
Microcomputer-Based Labs: Educational Research and Standards (Softcover Reprint of the Original 1st 1996)
★★★★★
★★★★★
4.6
Tinker, Robert F
Microcomputer-Based Labs: Educational Research and Standards (Softcover Reprint of the Original 1st 1996)
$54.99
85
Knowledge Acquisition, Organization, and Use in Biology: Proceedings of the NATO Advanced Research Workshop on Biology Knowledge: Its Acquisition, Org
Advanced Educational Technology: Research Issues and Future Potential (Softcover Reprint of the Original 1st 1996)
Deductive Program Design (Softcover Reprint of the Original 1st 1996)
★★★★★
★★★★★
4.6
Broy, Manfred
Deductive Program Design (Softcover Reprint of the Original 1st 1996)
$219.99
85
Computational Models of Speech Pattern Processing (Softcover Reprint of the Original 1st 1999)
★★★★★
★★★★★
4.6
Ponting, Keith
Computational Models of Speech Pattern Processing (Softcover Reprint of the Original 1st 1999)
$54.99
85
Applied Computational Electromagnetics: State of the Art and Future Trends (Softcover Reprint of the Original 1st 2000)
★★★★★
★★★★★
4.6
Uzunoglu, Nikolaos K
Applied Computational Electromagnetics: State of the Art and Future Trends (Softcover Reprint of the Original 1st 2000)
$109.99
85
Mathematical Methods in Program Development (Softcover Reprint of the Original 1st 1997)
★★★★★
★★★★★
4.6
Broy, Manfred
Mathematical Methods in Program Development (Softcover Reprint of the Original 1st 1997)
$109.99
85

🏛 Books from this publisher Springer

Multimedia Information Storage and Management (1996)
★★★★★
★★★★★
4.6
Chung, Soon M
Multimedia Information Storage and Management (1996)
$219.99
85
Searching Multimedia Databases by Content (1996)
★★★★★
★★★★★
4.6
Faloutsos, Christos
Searching Multimedia Databases by Content (1996)
$169.99
85
Modern Aspects of Electrochemistry
★★★★★
★★★★★
4.6
Bockris, John O'm
Modern Aspects of Electrochemistry
$109.99
85
The Psychological Basis of Perfumery (1997)
★★★★★
★★★★★
4.6
Jellinek, J Stephan
The Psychological Basis of Perfumery (1997)
$329.00
85
Modern Aspects of Electrochemistry: Volume 28 (1996)
★★★★★
★★★★★
4.6
Bockris, John O'm
Modern Aspects of Electrochemistry: Volume 28 (1996)
$109.99
85
Intelligent Integration of Information: A Special Double Issue of the Journal of Intelligent Information Sytems Volume 6, Numbers 2/3 May, 1996
Naturally Occurring Quinones IV: Recent Advances (1997)
★★★★★
★★★★★
4.6
Thomson, R H
Naturally Occurring Quinones IV: Recent Advances (1997)
$549.99
85
Energetics of Organic Free Radicals (1996)
★★★★★
★★★★★
4.6
Martinho Simoes, Jose a
Energetics of Organic Free Radicals (1996)
$169.99
85

You might also like

See more →
Stochastic Algorithms for Visual Tracking: Probabilistic Modelling and Stochastic Algorithms for Visual Localisation and Tracking (Softcover Reprint o ✨ New
Randomized Algorithms: Approximation, Generation, and Counting (Softcover Reprint of the Original 1st 2001) ✨ New
★★★★★
★★★★★
4.6
Bubley, Russ
Randomized Algorithms: Approximation, Generation, and Counting (Softcover Reprint of the Original 1st 2001)
$109.99
85
Nonlinear Model-Based Process Control: Applications in Petroleum Refining (Softcover Reprint of the Original 1st 2000) ✨ New
Architecture-Independent Loop Parallelisation (Softcover Reprint of the Original 1st 2000) ✨ New
★★★★★
★★★★★
4.6
Calinescu, Radu C
Architecture-Independent Loop Parallelisation (Softcover Reprint of the Original 1st 2000)
$109.99
85
Adaptive Control with Recurrent High-Order Neural Networks: Theory and Industrial Applications (Softcover Reprint of the Original 1st 2000) ✨ New
Fully Integrated Data Environments: Persistent Programming Languages, Object Stores, and Programming Environments (Softcover Reprint of the Original 1 ✨ New
Applied Computational Electromagnetics: State of the Art and Future Trends (Softcover Reprint of the Original 1st 2000) ✨ New
★★★★★
★★★★★
4.6
Uzunoglu, Nikolaos K
Applied Computational Electromagnetics: State of the Art and Future Trends (Softcover Reprint of the Original 1st 2000)
$109.99
85
Neural Nets Wirn Vietri-98: Proceedings of the 10th Italian Workshop on Neural Nets, Vietri Sul Mare, Salerno, Italy, 21-23 May 1998 (Softcover Reprin ✨ New
International Conference on Advances in Pattern Recognition: Proceedings of Icapr '98, 23-25 November 1998, Plymouth, UK (Softcover Reprint of the Ori ✨ New
Large Scale Collaborative Virtual Environments (Softcover Reprint of the Original 1st 1999) ✨ New
★★★★★
★★★★★
4.6
Greenhalgh, Chris
Large Scale Collaborative Virtual Environments (Softcover Reprint of the Original 1st 1999)
$109.99
85
Home Genres
Cart
Wishlist