Computer aided verification : Proceedings, New Brunswick, USA, July 31 - Aug. 3, 1996 /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Boigelot, Bernard
Korporativní autor: Proceedings USA, New Brunswick
Další autoři: Alur, R. (Editor)
Médium: Konferenční příspěvek Kniha
Jazyk:angličtina
Vydáno: Berlin : Springer, 1996
Vydání:[1st ed.]
Edice:Lecture notes in computer science Vol. 1102
Témata:
simulácia > aritmetický obvod > automatický preklad prirodzeného jazyka
ISBN:3540614745
ISSN:0302-9743
On-line přístup: Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Fyzický popis:XII, 472 s. : lit., obr., tab. ;
ISBN:3540614745
ISSN:0302-9743

Podobné jednotky