Madhavan Mukund (ed.) | Akateeminen Kirjakauppa

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

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS : 10TH INTERNATIONAL SYMPOSIUM, ATVA 2012, THIRUVANANTHAPURAM, INDIA, OCTOBER

Madhavan Mukund (ed.); Supratik Chakraborty (ed.)
Springer (2012)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

FST TCS 2001: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE : 21ST CONFERENCE, BANGALORE, INDIA, DECEMBER

Ramesh Hariharan (ed.); Madhavan Mukund (ed.); V. Vinay (ed.)
Springer (2001)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October

Madhavan Mukund (ed.), Supratik Chakraborty (ed.)

49,60 €

Springer
Sivumäärä: 438 sivua
Asu: Pehmeäkantinen kirja
Painos: 2012
Julkaisuvuosi: 2012, 16.08.2012 (lisätietoa)
Kieli: Englanti

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus