Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands - IFIP Advances in Informati - Bart Jacobs - Bøker - Springer - 9780792376835 - 31. mars 2002
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands - IFIP Advances in Informati 2002 edition

Bart Jacobs

Pris
A$ 163,99

Bestillingsvarer

Forventes levert 30. jul - 7. aug
Legg til iMusic ønskeliste
Eller

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands - IFIP Advances in Informati 2002 edition

Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods;


290 pages, biography

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 31. mars 2002
ISBN13 9780792376835
Utgivere Springer
Antall sider 284
Mål 155 × 235 × 15 mm   ·   625 g
Språk Engelsk  
Redaktør Jacobs, Bart
Redaktør Rensink, Arend

Vis alle

Mer med Bart Jacobs