Articoli correlati a Unifying Theories of Programming and Formal Engineering...

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures - Brossura

 
9783642397226: Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Brossura
ISBN 10: 3642397220 ISBN 13: 9783642397226
Casa editrice: Springer, 2013

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

rCOS: Defining Meanings of Component-Based Software Architectures.- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.- Unifying Theories of Programming in Isabelle.- FORMULA 2.0: A Language for Formal Specifications.- Formal Modelling, Analysis and Verification of Hybrid Systems.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2013
  • ISBN 10 3642397220
  • ISBN 13 9783642397226
  • RilegaturaPaperback
  • LinguaInglese
  • Contatto del produttorenon disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783642397202: Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... on Software Engineering Ictac 2013: 8050

Edizione in evidenza

ISBN 10:  3642397204 ISBN 13:  9783642397202
Casa editrice: Springer, 2013
Brossura