Articoli correlati a Software Engineering and Formal Methods: 12th International...

Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings - Brossura

 
9783319104324: Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Brossura
ISBN 10: 3319104322 ISBN 13: 9783319104324
Casa editrice: Springer, 2014

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Program Verification.- Testing.- Component-Based Systems.- Real-Time and Embedded Systems.- Model Checking and Automata Learning.- Tool Papers.- Program Correctness.- Adaptive and Multi-Agent Systems.

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

  • EditoreSpringer
  • Data di pubblicazione2014
  • ISBN 10 3319104322
  • ISBN 13 9783319104324
  • RilegaturaPaperback
  • LinguaInglese
  • Numero di pagine418
  • RedattoreGiannakopoulou Dimitra, Salaün Gwen
  • 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

9783319104300: Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings: 8702

Edizione in evidenza

ISBN 10:  3319104306 ISBN 13:  9783319104300
Casa editrice: Springer, 2014
Brossura