Alan J. Hu | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

COMPUTER AIDED VERIFICATION : 10TH INTERNATIONAL CONFERENCE, CAV'98, VANCOUVER, BC, CANADA, JUNE 28-JULY 2, 1998, PROCEEDINGS

Alan J. Hu (ed.); Moshe Y. Vardi (ed.)
Springer (1998)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

FORMAL METHODS IN COMPUTER-AIDED DESIGN : 5TH INTERNATIONAL CONFERENCE, FMCAD 2004, AUSTIN, TEXAS, USA, NOVEMBER 15-17, 2004, PR

Alan J. Hu (ed.); Andrew K. Martin (ed.)
Springer (2004)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

HARDWARE AND SOFTWARE: VERIFICATION AND TESTING - 4TH INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2008, HAIFA, ISRAEL, OCTO

Hana Chockler; Alan J. Hu
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Alan J. Hu (ed.), Moshe Y. Vardi (ed.)

97,90 €

Springer
Sivumäärä: 552 sivua
Asu: Pehmeäkantinen kirja
Painos: 1998
Julkaisuvuosi: 1998, 03.06.1998 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1427

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus