Articoli correlati a Programming Methodology

Programming Methodology ISBN 13: 9781468495690

Programming Methodology - Brossura

 
9781468495690: Programming Methodology
Brossura
ISBN 10: 1468495690 ISBN 13: 9781468495690
Casa editrice: Springer, 2012

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

(parts and sections listed) Part I: Models and correctness [concurrency and interaction, logical approaches to asynchrony, systems and real time, specifying complex behavior] Part II: Programming techniques [object orientation, type theory] Part III: Applications and automated theories [putting theories into practice by automation, programming circuits, security and keeping secrets]

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

Editore
Springer
Data di pubblicazione
2012
Lingua
Inglese
ISBN 10 
1468495690
ISBN 13 
9781468495690
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non 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

9780387953496: Programming Methodology

Edizione in evidenza

ISBN 10:  0387953493 ISBN 13:  9780387953496
Casa editrice: Springer-Verlag GmbH, 2002
Rilegato