ISBN: 9783540690610
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not … Altro …
Springer.com new in stock. Costi di spedizione:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783540690610
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not … Altro …
Springer.com Nr. 978-3-540-69061-0. Costi di spedizione:Worldwide free shipping, , plus shipping costs. (EUR 0.00) Details... |
2007, ISBN: 9783540690610
Foreword by K. Rustan M. Leino, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], [ED: 2007], Springer Berlin Heidelberg, 2007
lehmanns.de Costi di spedizione:Download sofort lieferbar. (EUR 0.00) Details... |
Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino - nuovo libro
ISBN: 9783540690610
; PDF; Computing > Computer programming / software development > Object-oriented programming, Springer Berlin Heidelberg
hive.co.uk No. 9783540690610. Costi di spedizione:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
2007, ISBN: 9783540690610
Foreword by K. Rustan M. Leino, [ED: 2007], eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
lehmanns.de Costi di spedizione:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9783540690610
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not … Altro …
ISBN: 9783540690610
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not … Altro …
2007
ISBN: 9783540690610
Foreword by K. Rustan M. Leino, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], [ED: 2007], Springer Berlin Heidelberg, 2007
Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino - nuovo libro
ISBN: 9783540690610
; PDF; Computing > Computer programming / software development > Object-oriented programming, Springer Berlin Heidelberg
2007, ISBN: 9783540690610
Foreword by K. Rustan M. Leino, [ED: 2007], eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Verification of Object-Oriented Software. The KeY Approach
EAN (ISBN-13): 9783540690610
ISBN (ISBN-10): 3540690611
Anno di pubblicazione: 2007
Editore: Springer Berlin Heidelberg
29 Pagine
Lingua: eng/Englisch
Libro nella banca dati dal 2010-01-17T22:25:45+01:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-09-18T00:58:50+02:00 (Rome)
ISBN/EAN: 9783540690610
ISBN - Stili di scrittura alternativi:
3-540-69061-1, 978-3-540-69061-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : peter becker, bernhard beck, beckert, peter hahn, seymour bernstein, schmitt peter
Titolo del libro: object oriented object oriented, key, software
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783540689775 Verification of Object-Oriented Software. The KeY Approach (Beckert, Bernhard Haehnle, Reiner Schmitt, Peter H.)
< Per archiviare...