Formal techniques for networked and distributed systems
: 25th IFIP WG 6.1 international conference ; proceedings / FORTE 2005, Taipei, Taiwan, October 2 - 5, 2005. Farn Wang (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3731)
ISBN 978-3-540-32084-5
Lizenzpflichtig
Quelle: DNB
Formal techniques for networked and distributed systems
: 23rd IFIP WG 6.1 international conference ; proceedings / FORTE 2003, Berlin, Germany, September 29 - October 2, 2003. Hartmut König ... (ed.). - Berlin : Springer, 2003. - XII, 429 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2767)
ISBN 978-3-540-20175-5 / 3-540-20175-0 kart. : EUR 77.04
Literaturangaben
Quelle: DNB
Formal techniques for networked and distributed systems
: 28th IFIP WG 6.1 international conference ; proceedings / FORTE 2008, Tokyo, Japan, June 10 - 13, 2008. Kenji Suzuki ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5048)
ISBN 978-3-540-68855-6
Lizenzpflichtig
Quelle: DNB
Formal techniques for networked and distributed systems
: 28th IFIP WG 6.1 international conference ; proceedings / FORTE 2008, Tokyo, Japan, June 10 - 13, 2008. Kenji Suzuki ... (ed.). - Berlin : Springer, 2008. - XI, 339 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5048)
ISBN 978-3-540-68854-9 kart. : EUR 78.11
Literaturangaben
Quelle: DNB
Fundamentals of algebraic graph transformation
/ H. Ehrig .... - Berlin : Springer, 2006. - XIV, 388 S. : graph. Darst.; 24 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-31187-4 / 3-540-31187-4 Pp. : EUR 69.50 (freier Pr.), sfr 115.00 (freier Pr.)
Literaturverz. S. 377 - 383
Quelle: DNB Verlagsmeldungen
High integrity system specification and design
/ Jonathon P. Bowen and Michael G. Hinchey. - London : Springer, 1999. - XIX, 701 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76226-3 / 3-540-76226-4 kart. : DM 195.00
Literaturangaben
Quelle: DNB
Industrial strength formal methods
: proceedings / FME' 93, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19 - 23, 1993. J. C. P. Woodcock ; P. G. Larsen (ed.). - Berlin : Springer, 1993. - XI, 689 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 670)
ISBN 978-3-540-56662-5 / 3-540-56662-7 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Integrated formal methods
: 4th international conference ; proceedings / IFM 2004, Canterbury, UK, April 4 - 7, 2004. Eerke A. Boiten ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2999)
ISBN 978-3-540-24756-2
Lizenzpflichtig
Quelle: DNB
Integrated formal methods
: 4th international conference ; proceedings / IFM 2004, Canterbury, UK, April 4 - 7, 2004. Eerke A. Boiten ... (ed.). - Berlin : Springer, 2004. - XI, 540 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2999)
ISBN 978-3-540-21377-2 / 3-540-21377-5 kart. : EUR 72.76
Literaturangaben
Quelle: DNB
Interactive systems
: design, specification, and verification ; 7th international workshop ; revised papers / DSV-IS 2000, Limerick, Ireland, June 2000. P. Palanque ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1946)
ISBN 978-3-540-44675-0
Lizenzpflichtig
Quelle: DNB
