Formal Modeling and Verification of Cyber-Physical Systems
Rolf Drechsler, Ulrich Kühne
₹4,176
Recent Findings in Boolean Techniques
Selected Papers from the 14th International Workshop on Boolean
by Rolf Drechsler, Daniel Große
Springer Nature · 2021
₹7,735
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
Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean is written by Rolf Drechsler & Daniel Große. This edition from Springer Nature (2021) has 197 pages.
Book details
- ISBN-13
- 9783030680701
- ISBN-10
- 3030680703
- Authors
- Rolf Drechsler, Daniel Große
- Publisher
- Springer Nature
- Published
- 2021
- Edition
- 2021 ed.
- Pages
- 197
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Rolf Drechsler and related titles
Spectral Techniques in VLSI CAD
Rolf Drechsler, D. Michael Miller, Mitchell Aaron Thornton
₹11,558
Formal Verification of Circuits
Rolf Drechsler
₹15,053
Binary Decision Diagrams
Rolf Drechsler, Bernd Becker
₹11,591
Languages, Design Methods, and Tools for Electronic System Design
Rolf Drechsler, Robert Wille
₹4,302
Evolutionary Algorithms for Vlsi CAD
Rolf Drechsler
₹7,740
Towards One-Pass Synthesis
Rolf Drechsler
₹3,588
Visual Basic Programs to Accompany Programming Logic and Design
Jo Ann Smith
₹2,840
RESTful Web API Design with Node.js - Second Edition
Valentin Bojinov
₹1,949
Dynamics 365 CE Essentials
Sarah Critchley
₹3,882
The Routledge Companion to Disability and Media
Katie Ellis, Gerard Goggin
₹15,385
Natural Language Processing and Machine Learning for Developers
Oswald Campesato
₹5,119