KIRJAUDU
Verification of Sequential and Concurrent Programs
100,90 €
Springer London Ltd
Sivumäärä: 502 sivua
Asu: Kovakantinen kirja
Painos: Third Edition 2009
Julkaisuvuosi: 2009, 05.10.2009 (lisätietoa)
Kieli: Englanti
Tuotesarja: Texts in Computer Science
Sivumäärä: 502 sivua
Asu: Kovakantinen kirja
Painos: Third Edition 2009
Julkaisuvuosi: 2009, 05.10.2009 (lisätietoa)
Kieli: Englanti
Tuotesarja: Texts in Computer Science
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.
Foreword by: Amir Pnueli
Foreword by: Amir Pnueli
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9781848827448
Aihealue: