Formal techniques for networked and distributed systems-- FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	FORTE 2007 (2007 : Tallinn, Estonia)
Imprint:	Berlin ; New York : Springer, ©2007.
Description:	1 online resource (xi, 373 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 4574 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 4574. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Formal methods (Computer science) -- Congresses. Electronic data processing -- Distributed processing -- Congresses. Computer network protocols -- Congresses. Computer network protocols. Electronic data processing -- Distributed processing. Formal methods (Computer science) Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11066716

Hidden Bibliographic Details
Varying Form of Title:	FORTE 2007
Other authors / contributors:	Derrick, John, 1963- Vain, Jüri. IFIP Working Group 6.1.
ISBN:	9783540731962 3540731962 9783540731955 3540731954
Notes:	Includes bibliographical references and index. Print version record.
Other form:	Print version: FORTE 2007 (2007 : Tallinn, Estonia). Formal techniques for networked and distributed systems-- FORTE 2007. Berlin ; New York : Springer, ©2007 9783540731955 3540731954
Standard no.:	10.1007/978-3-540-73196-2

Similar Items