Formal Methods for Eternal Networked Software Systems

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 BERNARDO, Marco ; Issarny, Valerie

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communicatio
€80,95

Levertijd: 5 tot 10 werkdagen.

Specificaties

ISBN
9783642214547
Uitgever
Springer-Verlag New York Inc
Druk
1e
Verschenen
01-01-2011
Taal
Engels
Bladzijden
526 pp.
Bindwijze
Paperback
Genre
Nederlandstalige literatuur

Delen op

Meer op Athenaeum.nl over boeken

Koop uw boeken bij Athenaeum

  • Gratis verzending vanaf € 20,- (in de algemene webwinkel, binnen Nederland).
  • Bestellen zonder registratie of login.
  • Vertrouwde service, veilige afhandeling.
MINDBOOKSATH : athenaeum