WoLFram - A Word Level Framework for Formal Verification and its Application André Sülflow Taschenbuch Berichte aus der Informatik Englisch 2010 - Livres de poche
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… Plus…
booklooker.de |
WoLFram - A Word Level Framework for Formal Verification and its Application André Sülflow Taschenbuch Berichte aus der Informatik Englisch 2010 - Livres de poche
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… Plus…
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. … Plus…
Dodax.de Nr. Frais d'envoi, 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… Plus…
medimops.de Nr. M03832289453LibriNew. Frais d'envoi, , zzgl. Versandkosten., Livraison non-comprise 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 Frais d'envoiVersandkostenfrei 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 - Livres de poche
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… Plus…
Sülflow, André:
WoLFram - A Word Level Framework for Formal Verification and its Application André Sülflow Taschenbuch Berichte aus der Informatik Englisch 2010 - Livres de poche2010, 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… Plus…
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. … Plus…
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… Plus…
2010, ISBN: 3832289453
Kartoniert / Broschiert Boolean Satisfiability (SAT); Satisfiable Modulo Theory (SMT), mit Schutzumschlag neu, [PU:Shaker Verlag; Shaker]
Données bibliographiques du meilleur livre correspondant
Informations détaillées sur le livre - WoLFram - A Word Level Framework for Formal Verification and its Application (Berichte aus der Informatik)
EAN (ISBN-13): 9783832289454
ISBN (ISBN-10): 3832289453
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Shaker Verlag
Livre dans la base de données depuis 2012-02-08T21:24:52+01:00 (Paris)
Page de détail modifiée en dernier sur 2019-08-07T15:21:00+02:00 (Paris)
ISBN/EAN: 9783832289454
ISBN - Autres types d'écriture:
3-8322-8945-3, 978-3-8322-8945-4
Autres types d'écriture et termes associés:
Auteur du livre: sülflow, andre level
Titre du livre: level, word 2010, taschenbuch der informatik
Données de l'éditeur
Auteur: André Sülflow
Titre: Berichte aus der Informatik; WoLFram - A Word Level Framework for Formal Verification and its Application
Editeur: Shaker
198 Pages
Date de parution: 2010-03-04
Poids: 0,297 kg
Langue: Anglais
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)
< pour archiver...