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öcker - Springer - 9780792376835 - 31 mars 2002
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 1.059

Beställningsvara

Förväntad leverans 12 - 20 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller

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öcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 31 mars 2002
ISBN13 9780792376835
Utgivare Springer
Antal sidor 284
Mått 155 × 235 × 15 mm   ·   625 g
Språk Engelska  
Redaktör Jacobs, Bart
Redaktör Rensink, Arend

Fler produkter med Bart Jacobs

Visa alla