1
0
0
(1 - 30 von 44
)
TPHOLS Theorem proving in higher order logics. 16th International Conference (Rome, september 2003)
von Burkhart Wolff David Basin, Aracne, 2003, Taschenbuch
Oxford Book Shop
bookmanager.com
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS Paris, France, November 7-10, Proceedings | Paperback Burkhart ...
AbeBooks: burkhart wolff - AbeBooks
Testing Software and Systems von Burkhart Wolff und eine große Auswahl ähnlicher Bücher, Kunst und Sammlerstücke erhältlich auf AbeBooks.de.
Burkhart Wolff (Author of Testing Software and Systems)
www.goodreads.com
Burkhart Wolff is the author of Testing Software and Systems (0.0 avg rating, 0 ratings, 0 reviews, published 2011), Testing Software and Systems (0.0 av...
bokus.com: Burkhart Wolff - Böcker | Bokus bokhandel
Köp böcker av Burkhart Wolff: Theorem Proving in Higher Order Logics; Formal Approaches to Software Testing and Runtime Ver...; Testing Software and Systems...
adlibris.com: Burkhart Wolff | Adlibris
Hos Adlibris hittar du miljontals böcker och produkter inom Burkhart Wolff Vi har ett brett sortiment av böcker, garn, leksaker, pyssel, sällskapsspel,...
Wolff Burkhart Libri - I libri dell'autore: Wolff Burkhart - Libreria...
www.libreriauniversitaria.it
Wolff Burkhart Libri. Acquista Libri dell'autore: Wolff Burkhart su Libreria Universitaria, oltre 8 milioni di libri a catalogo. Scopri Sconti e Spedizione con...
Formal Approaches to Software Testing and Runtime Verification von...
www.buecher.de
This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES...
Book Search - Better Read Than Dead Bookstore Newtown
www.betterread.com.au
Better Read Than Dead is a bookstore, a literary landmark that nourishes the neighbourhood's intellectual dynamics with regular author and community events.
Tests and Proofs: 12th International Conference, TAP 2018, Held as...
books.google.de
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse,...
Break-Glass: Handling Exceptional Situations in Access Control -...
books.google.de
Achim D. Brucker and Burkhart Wolff. Symbolic test case generation for primitive recursive functions. In Formal Approaches to Testing of Software, number
Eigenschaftsorientierte Beschreibung der logischen Architektur...
books.google.de
David Trachtenherz entwickelt einen Lösungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise...
Testing Software and Systems von Burkhart Wolff | ISBN...
www.lehmanns.de
› ... › Software Entwicklung
AbeBooks: Testing Software and Systems by Burkhart Wolff: Neu Taschenbuch...
Available now at AbeBooks.co.uk - Free Shipping - ISBN: Taschenbuch - Springer-Verlag Gmbh Okt Book Condition: Neu - Neuware -...
bokus.com: Theorem Proving in Higher Order Logics - David Basin, Burkhart Wolff...
Pris: kr. Häftad, Skickas inom vardagar. Köp Theorem Proving in Higher Order Logics av David Basin, Burkhart Wolff på Bokus.com.
Basin David Libri - I libri dell'autore: Basin David - Libreria...
www.libreriauniversitaria.it
Basin David Libri. Acquista Libri dell'autore: Basin David su Libreria Universitaria, oltre 8 milioni di libri a catalogo. Scopri Sconti e Spedizione con...
Burkhart Wolff
www.db.informatik.uni-bremen.de
Achim D. Brucker, Burkhart Wolff: HOL-OCL: Experiences, Consequences and Design Choices, Fifth International Conference on the Unified Modeling Language - the ...
Testing Software and Systems: 23rd IFIP WG 6.1 International...
books.google.de
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris,...
Formal Approaches to Software Testing and Runtime Verification: First...
books.google.de
... FATES and RV 2006, Seattle, WA, USA, August , 2006, Revised Selected Papers Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff.
Testing Software and Systems: 25th IFIP WG 6.1 International...
books.google.de
This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul,...
bokus.com: Tests and Proofs - Catherine Dubois, Burkhart Wolff - Häftad...
Pris: 679 kr. Häftad, Skickas inom vardagar. Köp Tests and Proofs av Catherine Dubois, Burkhart Wolff på Bokus.com.
Tests and Proofs: 5th International Conference, TAP 2011, Zürich
books.google.de
This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July...
Tests and Proofs: 6th International Conference, TAP 2012, Prague,...
books.google.de
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June...
Theorem Proving in Higher Order Logics: 16th International Conference...
books.google.de
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings David Basin, Burkhart Wolff. Automatic Generation of ...
UML The Unified Modeling Language. Model Engineering,...
books.google.de
196, 197 [3] Achim D. Brucker and Burkhart Wolff. A proposal for a formal OCL semantics in Isabelle/HOL. In César Mu ̃noz, Sophi`ene Tahar, and V ́ıctor Carre ...
Formal Approaches to Software Testing: 5th International Workshop,...
books.google.de
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in...
Unifying Theories of Programming: 4th International Symposium, UTP...
books.google.de
This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in...
Verwandte Suchanfragen zu Burkhart Wolff
Martin Gogolla Wolfram Schulte Christoph Lüth | Roland Lachmayer Steffen Wedler Bettina Wedler |
Person "Wolff" (58) Vorname "Burkhart" (284) Name "Wolff" (4951) |
sortiert nach Relevanz / Datum