Leveraging Applications of Formal Methods, Verification, and Validation

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II niet bekend

The two volume set LNCS 6415 and LNCS 6416 constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, he
€100,95

Levertijd: 5 tot 10 werkdagen.

Specificaties

ISBN
9783642165603
Uitgever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Druk
1e
Verschenen
01-01-2010
Taal
Engels
Bladzijden
498 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