WoLFram - A Word Level Framework for Formal Verification and its Application André Sülflow Taschenbuch Berichte aus der Informatik Englisch 2010 - Taschenbuch
2010, ISBN: 9783832289454
[ED: Taschenbuch], [PU: Shaker], In this thesis a framework for the generic development of formal applications that are independent of the underlying proof technique, called WoLFram (Word… Mehr…
booklooker.de |
WoLFram - A Word Level Framework for Formal Verification and its Application André Sülflow Taschenbuch Berichte aus der Informatik Englisch 2010 - Taschenbuch
2010, ISBN: 9783832289454
[ED: Taschenbuch], [PU: Shaker], In this thesis a framework for the generic development of formal applications that are independent of the underlying proof technique, called WoLFram (Word… Mehr…
booklooker.de |
ISBN: 9783832289454
In this thesis a framework for the generic development of formal applications that are independent of the underlying proof technique, called WoLFram (Word Level Framework), is presented. … Mehr…
Dodax.de Nr. Versandkosten:, Lieferzeit: 11 Tage, DE. (EUR 0.00) Details... |
2010, ISBN: 9783832289454
Letzte Aktualisierung am: 05.08.19 06:12:28 Binding: Taschenbuch, Edition: 1, Label: Shaker, Publisher: Shaker, medium: Taschenbuch, numberOfPages: 198, publicationDate: 2010-03-01, autho… Mehr…
medimops.de Nr. M03832289453LibriNew. Versandkosten:, , zzgl. Versandkosten. Details... |
2010, ISBN: 3832289453
Kartoniert / Broschiert Boolean Satisfiability (SAT); Satisfiable Modulo Theory (SMT), mit Schutzumschlag neu, [PU:Shaker Verlag; Shaker]
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
WoLFram - A Word Level Framework for Formal Verification and its Application André Sülflow Taschenbuch Berichte aus der Informatik Englisch 2010 - Taschenbuch
2010, ISBN: 9783832289454
[ED: Taschenbuch], [PU: Shaker], In this thesis a framework for the generic development of formal applications that are independent of the underlying proof technique, called WoLFram (Word… Mehr…
Sülflow, André:
WoLFram - A Word Level Framework for Formal Verification and its Application André Sülflow Taschenbuch Berichte aus der Informatik Englisch 2010 - Taschenbuch2010, ISBN: 9783832289454
[ED: Taschenbuch], [PU: Shaker], In this thesis a framework for the generic development of formal applications that are independent of the underlying proof technique, called WoLFram (Word… Mehr…
ISBN: 9783832289454
In this thesis a framework for the generic development of formal applications that are independent of the underlying proof technique, called WoLFram (Word Level Framework), is presented. … Mehr…
2010, ISBN: 9783832289454
Letzte Aktualisierung am: 05.08.19 06:12:28 Binding: Taschenbuch, Edition: 1, Label: Shaker, Publisher: Shaker, medium: Taschenbuch, numberOfPages: 198, publicationDate: 2010-03-01, autho… Mehr…
2010, ISBN: 3832289453
Kartoniert / Broschiert Boolean Satisfiability (SAT); Satisfiable Modulo Theory (SMT), mit Schutzumschlag neu, [PU:Shaker Verlag; Shaker]
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - WoLFram - A Word Level Framework for Formal Verification and its Application (Berichte aus der Informatik)
EAN (ISBN-13): 9783832289454
ISBN (ISBN-10): 3832289453
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Shaker Verlag
Buch in der Datenbank seit 2012-02-08T21:24:52+01:00 (Berlin)
Detailseite zuletzt geändert am 2019-08-07T15:21:00+02:00 (Berlin)
ISBN/EAN: 9783832289454
ISBN - alternative Schreibweisen:
3-8322-8945-3, 978-3-8322-8945-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: sülflow, andre level
Titel des Buches: level, word 2010, taschenbuch der informatik
Daten vom Verlag:
Autor/in: André Sülflow
Titel: Berichte aus der Informatik; WoLFram - A Word Level Framework for Formal Verification and its Application
Verlag: Shaker
198 Seiten
Erscheinungsjahr: 2010-03-04
Gewicht: 0,297 kg
Sprache: Englisch
48,80 € (DE)
48,80 € (AT)
97,60 CHF (CH)
No longer receiving updates
BA; PB; Hardcover, Softcover / Informatik, EDV; Informatik und Informationstechnologie; Formal verification; Satisfiable Modulo Theory (SMT); Boolean Satisfiability (SAT)
< zum Archiv...