Computer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
Armin Biere
Kirjasarja: Lecture Notes in Computer Science, osa 8559
Tuote ei saatavilla
Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
Lisää tuote omalle toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotetta tulee saataville Antikvaariin!
Haetaan tuotteita...
Teosta "Computer Aided Verification" ei välttämättä ole tällä hetkellä saatavilla Antikvaarista tai teoslistamme on vielä puutteellinen. Katsothan samankaltaiset tuotteet sekä alempaa löytyvät tuote-ehdotuksemme teokseen liittyen. Voit myös lisätä tämän teoksen toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotteita tulee saataville.
Siirry tuotehakuun
Samankaltaiset tuotteet
Tuotteita ei löytynyt. Voit selailla kirjailijan teoksia klikkaamalla kirjailijan nimeä tai etsi muita kirjoja hakukoneemme avulla.
Tiedot
Kustantaja/julkaisija
Springer International Publishing
Sidosasu
ISBN
331908867X
9783319088679
Kieli
englanti
Alkuperäinen nimi
-
Kaikki tekijät
Armin Biere
Tuotekategoriat
Esittely
s:616:"This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.";
Aiheet
Computer science.
Computer organization.
Software engineering.
Computer logic.
Mathematical logic.
Computer Science.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Mathematical Logic and Formal Languages.
Computer Systems Organization and Communication Networks.
Computers