FME '93. Industrial-strength formal methods : Proceedings, Odense, Denmark, April 19 - 23, 1993 /

Saved in:
Bibliographic Details
Main Author: Jones, C. B.
Corporate Author: Proceedings Denmark, Odense
Other Authors: Woodcock, J. C. P. (Editor), Larsen, P. G.
Format: Conference Proceeding Book
Language:English
Published: Berlin : Springer, 1993
Edition:[1st ed.]
Series:Lecture notes in computer science Vol. 670
Subjects:
objektovo orientovaná vývojová metóda > integrácia LOTOSu > modálna logika > špecifikácia systémov v reálnom čase > preverovanie symbolických modelov
zborníky
ISBN:3540566627
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a2200000 4500
003 SK-BrCVT
005 20220617191412.0
008 950505s1993 gw e ||||||eng d
020 |a 3540566627 
035 |a CVTIDW0931984 
040 |b slo  |a CVTI SR 
041 0 |a eng 
044 |a gw 
080 |a 681.3  |2 UDC-MRF 
080 |a 519.7/.8  |2 UDC-MRF 
100 1 |a Jones, C. B. 
111 0 |a Proceedings  |d (April 19 - 23, 1993 :  |c Denmark, Odense) 
242 1 0 |a FME '93. Priemyselne aplikovateľné formálne metódy 
245 1 0 |a FME '93. Industrial-strength formal methods :  |b Proceedings, Odense, Denmark, April 19 - 23, 1993 /  |c Authors: C. B. Jones and Co. ; Red. J. C. P. Woodcock, P. G. Larsen 
250 |a [1st ed.] 
260 |a Berlin :  |b Springer,  |c 1993 
300 |a XI, 689 s. :  |b grafy, lit., obr., tab. ; 
490 0 |a Lecture notes in computer science  |v Vol. 670 
653 1 |a objektovo orientovaná vývojová metóda  |a integrácia LOTOSu  |a modálna logika  |a špecifikácia systémov v reálnom čase  |a preverovanie symbolických modelov 
655 7 |a zborníky  |2 SNKPH 
692 |a GM VD PR PO MM 
700 1 |a Woodcock, J. C. P.  |4 edt 
700 1 |a Larsen, P. G. 
760 1 |t Lecture notes in computer science 
910 |b A546825 
919 |a 3-540-56662-7 
974 |f Knihy 
992 |a AZN 
999 |c 92436  |d 92436 

Similar Items