IndianBookWorms

Here, what we could find on your book search:

Marieke Huisman

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Formal Methods for Components and Objects

Formal Methods for Components and Objects

Frank S.de Boer

Check Price (10 deals)
Deductive Software Verification – The KeY Book

Deductive Software Verification – The KeY Book

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt and Mattias Ulbrich

Check Price (1 deals)
FME 2003: Formal Methods

FME 2003: Formal Methods

Keijiro Araki, Stefania Gnesi and Dion Mandrioli

Check Price (9 deals)
Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Mark Aagaard and John Harrison

Check Price (1 deals)
Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

Helene Kirchner and Christophe Ringeissen

Check Price (4 deals)
Object-Oriented Technology. ECOOP 2008 Workshop Reader

Object-Oriented Technology. ECOOP 2008 Workshop Reader

Patrick Eugster

Check Price (6 deals)
Principled Software Development

Principled Software Development

Peter Müller and Ina Schaefer

Check Price (3 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now
  • Contact/
  • Disclaimer/
  • Privacy Policy

© 2026 indianbookworms | Part of Diagramz network.