WoLFram - A Word Level Framework for Formal Verification and its Application André Sülflow Taschenbuch Berichte aus der Informatik Englisch 2010 - Livro de bolso
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… mais…
booklooker.de |
WoLFram - A Word Level Framework for Formal Verification and its Application André Sülflow Taschenbuch Berichte aus der Informatik Englisch 2010 - Livro de bolso
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… mais…
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. … mais…
Dodax.de Nr. Custos de envio:, 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… mais…
medimops.de Nr. M03832289453LibriNew. Custos de envio:, , zzgl. Versandkosten., mais custos de envio 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 Custos de envio: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 - Livro de bolso
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… mais…
Sülflow, André:
WoLFram - A Word Level Framework for Formal Verification and its Application André Sülflow Taschenbuch Berichte aus der Informatik Englisch 2010 - Livro de bolso2010, 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… mais…
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. … mais…
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… mais…
2010, ISBN: 3832289453
Kartoniert / Broschiert Boolean Satisfiability (SAT); Satisfiable Modulo Theory (SMT), mit Schutzumschlag neu, [PU:Shaker Verlag; Shaker]
Dados bibliográficos do melhor livro correspondente
Dados detalhados do livro - WoLFram - A Word Level Framework for Formal Verification and its Application (Berichte aus der Informatik)
EAN (ISBN-13): 9783832289454
ISBN (ISBN-10): 3832289453
Livro de capa dura
Livro de bolso
Ano de publicação: 2010
Editor/Editora: Shaker Verlag
Livro na base de dados desde 2012-02-08T18:24:52-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2019-08-07T10:21:00-03:00 (Sao Paulo)
Número ISBN/EAN: 9783832289454
Número ISBN - Ortografia alternativa:
3-8322-8945-3, 978-3-8322-8945-4
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: sülflow, andre level
Título do livro: level, word 2010, taschenbuch der informatik
Dados da editora
Autor: André Sülflow
Título: Berichte aus der Informatik; WoLFram - A Word Level Framework for Formal Verification and its Application
Editora: Shaker
198 Páginas
Ano de publicação: 2010-03-04
Peso: 0,297 kg
Língua: Inglês
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)
< Para arquivar...