Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings /
Saved in:
Author / Creator: | Frutos-Escrig, David de. |
---|---|
Imprint: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2004. |
Language: | English |
Series: | Lecture notes in computer science, 0302-9743 ; 3235 |
Subject: | |
Format: | E-Resource |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/7354510 |
Other authors / contributors: | Núñez, Manuel. SpringerLink (Online service) |
---|---|
ISBN: | 9783540232520 |
Similar Items
-
Formal Techniques for Networked and Distributed Systems - FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 /
by: König, Hartmut
Published: (2003) -
Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings /
by: Najm, Elie
Published: (2003) -
Formal techniques for networked and distributed systems--FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings /
Published: (2004) -
Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings /
Published: (2004) -
Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /
by: Núñez, Manuel
Published: (2004)