Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Computer Aided Verification - 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
51,10 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 493 sivua
Asu: Pehmeäkantinen kirja
Painos: 1992 ed.
Julkaisuvuosi: 1992, 22.04.1992 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 575
Sivumäärä: 493 sivua
Asu: Pehmeäkantinen kirja
Painos: 1992 ed.
Julkaisuvuosi: 1992, 22.04.1992 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 575
This volume contains the proceedings of a workshop on computer aided verification. Topics include verification and validation tools for hardware and software, verification methods, and verification theories and their applicability.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 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 3-4 viikossa
Näytä kaikki tuotetiedot
ISBN:
9783540551799
Aihealue: