phone +385 21 784 0072
LIBRISTO 0
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 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Hardware and Software: Verification and Testing

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Hardware and Software: Verification and Testing Armin Biere
Libristo kod: 01664050
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 2013
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verificatio... Cijeli opis
? points 140 b
55.89 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

TOP
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Meki uvez
common.buy 16.13 €
TOP
Accessing the Healing Power of the Vagus Nerve Stanley Rosenberg / Meki uvez
common.buy 20.67 €
TOP
Basic Economics Thomas Sowell / Tvrdi uvez
common.buy 35.00 €
TOP
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Tvrdi uvez
common.buy 20.17 €
TOP
Green Lantern by Geoff Johns Omnibus Vol. 1 Geoff Johns / Tvrdi uvez
common.buy 97.76 €
Children of Jocasta Natalie Haynes / Meki uvez
common.buy 10.69 €
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Tvrdi uvez
common.buy 35.00 €
Joseph Dirand Francois Halard / Tvrdi uvez
common.buy 60.53 €
Widow Queen Elzbieta Cherezinska / Tvrdi uvez
common.buy 22.29 €
Oxford Primary Illustrated Maths Dictionary / Meki uvez
common.buy 10.38 €
Rocket Science Alan McFadzean / Meki uvez
common.buy 33.69 €
Donbas Conflict in Ukraine Daria Platonova / Tvrdi uvez
common.buy 200.57 €
In the Heights LIN-MANUEL MIRANDA / Tvrdi uvez
common.buy 32.08 €
Three Keys KELLY YANG / Meki uvez
common.buy 8.67 €
Cognitive Linguistics EVANS VYVYAN / Tvrdi uvez
common.buy 159.21 €
Life's Edge / Meki uvez
common.buy 15.12 €

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.

Informacije o knjizi

Puni naziv Hardware and Software: Verification and Testing
Autor Armin Biere, Amir Nahir, Tanja Vos
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2013
Broj stranica 281
EAN 9783642396106
ISBN 3642396100
Libristo kod 01664050
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 456
Dimenzije 155 x 235 x 19

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

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun