Formal Methods for Eternal Networked Software Systems

11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
Based on lectures delivered at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, this volume explores formal methods for external networked software systems.
lieferbar
versandkostenfrei

Bestellnummer: 30968523

Buch79.99
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
lieferbar
versandkostenfrei

Bestellnummer: 30968523

Buch79.99
In den Warenkorb
Based on lectures delivered at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, this volume explores formal methods for external networked software systems.

Kommentar zu "Formal Methods for Eternal Networked Software Systems"

Andere Kunden kauften auch

0 Gebrauchte Artikel zu „Formal Methods for Eternal Networked Software Systems“

ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich