Buy Used and New RolfDrechsler Books

Results for RolfDrechsler

Showing 1 to 9 of 9 results
Formal Specification Level: Concepts, Methods, and Algorithms Formal Specification Level: Concepts, Methods, and Algorithms by Mathias Soeken, Rolf Drechsler

Formal Specification Level: Concepts, Methods, and Algorithms

by Mathias Soeken, Rolf Drechsler


ISBN 13: 9783319378824

Format: Paperback (148 pages)
Publisher: Springer
Published: 03 Aug 2016

Save for later

 
New : $110.04  
New : $110.04
Advanced Formal Verification Advanced Formal Verification by Rolf Drechsler

Advanced Formal Verification

by Rolf Drechsler


ISBN 13: 9781441954206

Format: Paperback (280 pages)
Publisher: Springer
Published: 04 Oct 2013

Save for later

 
New : $110.44  
New : $110.44
Spectral Techniques in VLSI CAD Spectral Techniques in VLSI CAD by Rolf Drechsler

Spectral Techniques in VLSI CAD

by Rolf Drechsler


ISBN 13: 9781461355472

Format: Paperback (268 pages)
Publisher: Springer
Published: 31 Jul 2001

Save for later

 
New : $157.92  
New : $157.92
Evolutionary Algorithms for VLSI CAD Evolutionary Algorithms for VLSI CAD by Rolf Drechsler

Evolutionary Algorithms for VLSI CAD

by Rolf Drechsler


ISBN 13: 9781441950406

Format: Paperback (196 pages)
Publisher: Springer US
Published: 19 Feb 2010

Save for later

 
New : $110.39  
New : $110.39
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler


ISBN 13: 9783319892146

Format: Paperback (268 pages)
Publisher: Springer
Published: 06 Jun 2019

Save for later

 
New : $157.92  
New : $157.92