Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Besplatna dostava Overseas kurirskom službom iznad 59.99 €

Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Verified Software: Theories, Tools, and Experiments

Name: Verified Software: Theories, Tools, and Experiments
Brand: Springer International Publishing AG
SKU: 02896192
Price: 61.28 EUR
Availability: InStock

Arie Gurfinkel

Seshia Sanjit

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 02896192

Nakladnici Springer International Publishing AG, siječanj 2016

This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International... Cijeli opis

Libristo kod: 02896192

154 b

61.28 €

Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Winter Song Jean-Claude Mourlevat

/ Meki uvez

10.15 €

Play in Healthcare Alison Tonkin

/ Meki uvez

64.40 €

This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International Conference on Verified Software:§Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.§The goal of this conference is to advance the state of the art§in the science and technology of software verification, through the§interaction of theory development, tool evolution, and experimental§validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.

Informacije o knjizi

Puni naziv Verified Software: Theories, Tools, and Experiments

Autor Arie Gurfinkel, Seshia Sanjit

Jezik

Engleski

Uvez Knjiga - Meki uvez

Datum izdanja 2016

Broj stranica 223

EAN 9783319296128

ISBN 3319296124

Libristo kod 02896192

Nakladnici Springer International Publishing AG

Težina 3635

Dimenzije 155 x 235 x 14

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Computer architecture & logic design

Computing & Information Technology > Computer science > Artificial intelligence

Poklonite ovu knjigu još danas

To je jednostavno

1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Dostava

Savjetnik za kupnju