FORMS/FORMAT 2010

FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems niet bekend

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal t
€240,10

Levertijd: 5 tot 10 werkdagen.

Specificaties

ISBN
9783642142604
Uitgever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Druk
1e
Verschenen
01-01-2011
Taal
Engels
Bladzijden
257 pp.
Bindwijze
Hardcover
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