TAPSOFT '93. Theory and practice of software development : Proceedings, Orsay, France, April 13 - 17, 1993 /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Guttag, John V.
Korporativní autor: Proceedings France, Orsay
Další autoři: Gaudel, m.-C (Editor), Jounnaud, j.-P
Médium: Konferenční příspěvek Kniha
Jazyk:angličtina
Vydáno: Berlin : Springer, 1993
Vydání:[1st ed.]
Edice:Lecture notes in computer science Vol. 668
Témata:
geometrické modelovanie > logika > strom > automat > analýza algoritmov > overovanie súbežných systémov
ISBN:3540566104
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!

MARC

LEADER 00000nam a2200000 4500
003 SK-BrCVT
005 20220617191139.0
008 950505s1993 gw e ||||||eng d
020 |a 3540566104 
035 |a CVTIDW0931988 
040 |b slo  |a CVTI SR 
041 0 |a eng 
044 |a gw 
080 |a 681.3.06  |2 UDC-MRF 
080 |a 519.8  |2 UDC-MRF 
100 1 |a Guttag, John V. 
111 0 |a Proceedings  |d (April 13 - 17, 1993 :  |c France, Orsay) 
242 1 0 |a TAPSOFT '93. Teória a prax vývoja softwaru 
245 1 0 |a TAPSOFT '93. Theory and practice of software development :  |b Proceedings, Orsay, France, April 13 - 17, 1993 /  |c Authors: John V. Guttag and Co. ; Red.: m.-C. Gaudel, j.-P. Jounnaud 
250 |a [1st ed.] 
260 |a Berlin :  |b Springer,  |c 1993 
300 |a XII, 761 s. :  |b lit., obr., tab. ; 
490 0 |a Lecture notes in computer science  |v Vol. 668 
653 1 |a geometrické modelovanie  |a logika  |a strom  |a automat  |a analýza algoritmov  |a overovanie súbežných systémov 
692 |a GM VD PR PO MM 
700 1 |a Gaudel, m.-C.  |4 edt 
700 1 |a Jounnaud, j.-P. 
760 1 |t Lecture notes in computer science 
910 |b A546829 
919 |a 3-540-56610-4 
974 |f Knihy 
992 |a AZN 
999 |c 91695  |d 91695 

Podobné jednotky