Formal techniques for networked and distributed systems
: 22nd IFIP WG 6.1 international conference ; proceedings / FORTE 2002, Houston, Texas, USA, November 11 - 14, 2002. D. A. Peled (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2529)
ISBN 978-3-540-36135-0
Lizenzpflichtig
Quelle: DNB
Formal techniques for networked and distributed systems
: 27th IFIP WG 6.1 international conference ; proceedings / FORTE 2007, Tallinn, Estonia, June 27 - 29, 2007 ... John Derrick ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4574)
ISBN 978-3-540-73196-2
Lizenzpflichtig
Quelle: DNB
Formal techniques for networked and distributed systems
: 26th IFIP WG 6.1 international conference ; proceedings / FORTE 2006, Paris, France, September 26 - 29, 2006. Elie Najm ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4229)
ISBN 978-3-540-46220-0
Lizenzpflichtig
Quelle: DNB
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
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
Interactive systems
: design, specification, and verification : 12th international workshop ; revised papers / DSVIS 2005, Newcastle-upon-Tyne, UK, July 13 - 15, 2005. Stephen W. Gilroy ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3941)
ISBN 978-3-540-34146-8
Lizenzpflichtig
Quelle: DNB
Interactive systems
: design, specification, and verification : 12th international workshop ; revised papers / DSVIS 2005, Newcastle-upon-Tyne, UK, July 13 - 15, 2005. Stephen W. Gilroy ; Michael D. Harrison (ed.). - Berlin : Springer, 2006. - XI, 263 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3941)
ISBN 978-3-540-34145-1 / 3-540-34145-5 kart. : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
