Buy Used and New RobertWille Books

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015: 385 (Lecture Notes in Electrical Engineering)

by Rolf Drechsler, Robert Wille

ISBN 13: 9783319317229

Format: Hardcover (204 pages)
Publisher: Springer
Published: 26 May 2016

Save for later

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

by Nils Przigoda, Robert Wille, Judith Przigoda

ISBN 13: 9783319728131

Format: Hardcover (268 pages)
Publisher: Springer
Published: 31 Jan 2018

Save for later

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015: 385 (Lecture Notes in Electrical Engineering)

by Rolf Drechsler, Robert Wille

ISBN 13: 9783319811062

Format: Paperback (204 pages)
Publisher: Springer
Published: 14 Jun 2018

Save for later

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