Scalable techniques for formal verification /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Ray, Sandip (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: New York ; Dordrecht : Springer, c2010
Témata:
počítačové systémy
programovací jazyky
computer systems
programming languages
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
Popis
Fyzický popis:xiv, 243 s.
ISBN:978-1-4419-5997-3

Podobné jednotky