Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Hardware and Software: Verification and Testing

8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

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 115 b
47.59 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Harry Potter: Vánoce v Bradavicích Joanne K. Rowling / Knjiga Tvrdi uvez
common.buy 15.39 €
101 vecí na hľadanie a nalepovanie Rozprávkové bytosti / Knjiga Meki uvez
common.buy 3.64 €
Heilige Maria, Mutter Gottes / Knjiga List
common.buy 4.04 €
Die Umsetzung des NCV-Programms am Tshwane North FET College Kaizer Raseane Makole / Knjiga Meki uvez
common.buy 49.01 €
Schody do nebe Lorna Byrneová / Knjiga Tvrdi uvez
common.buy 9.71 €
Philologus / Knjiga Tvrdi uvez
common.buy 106.74 €
Gra Szacho-warcaby 31 / Knjiga binding.
common.buy 33.92 €
??????????? ???? ?????? ????????? ????? ?????????? Neil King / E-knjiga Adobe ePub DRM
common.buy 7.59 €
Praxeologie der Moderne Gunnar Skirbekk / Knjiga Meki uvez
common.buy 43.14 €
Tintin c'est l'aventure n°24 - Belgique - Offre Jumelée / Knjiga Meki uvez
common.buy 28.55 €
Marmorpalais im Neuen Garten der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg / Knjiga Meki uvez
common.buy 6.67 €
Tumeurs malignes rares Jean-Pierre Droz / Knjiga Tvrdi uvez
common.buy 159.41 €
Geschichte der jungen Renate Fuchs Jakob Wassermann / Knjiga Meki uvez
common.buy 9.00 €
Frauen- und Kinderarbeit in der Zeit der Industrialisierung Viktoria Lehner / Knjiga Meki uvez
common.buy 14.47 €
MÁS ALLÁ DEL LÍMITE SIMONE ELKELES / Knjiga Meki uvez
common.buy 7.99 €
Problem der demokratischen Legitimation in foederalen Systemen Julia Schoeppenthau / Knjiga Meki uvez
common.buy 16.20 €
Odisea / The Odyssey HOMERO / Knjiga Meki uvez
common.buy 13.06 €
20TH CENTURY ITALIAN COMPOSERS PIANO ALFONSO ALBERTI Knjiga binding.
common.buy 27.13 €
Puissances de l'imagination : Malebranche, De l'imagination, Cervantès, Don Quichotte, Proust, Un amour de Swann Anglard / Knjiga Meki uvez
common.buy 22.58 €
CHAGALL, MODIGLIANI, SOUTINE... PARIS POUR ECOLE, 1905-1940 Knjiga Knjiga
common.buy 29.67 €
LE DEFI DES DRUIDES BRISOU-PELLEN / Knjiga Meki uvez
common.buy 12.65 €
L'année de la grande section 5-6ans - Tout pour réussir en maternelle Ginette Grandcoin-Joly / Knjiga Meki uvez
common.buy 10.83 €
Dalmatien - 1.000 Teile (Puzzle) / Igra/Igračka Igra
common.buy 29.87 €
MI PRIMER IMAGINARIO DE DINOSAURIOS LAURE DU FAY / Knjiga Meki uvez
common.buy 16.09 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

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

Moglo bi vas zanimati i

Numerical Treatment of Multiphase Flows in Porous Media Zhangxin Chen / Knjiga Tvrdi uvez
common.buy 109.48 €
Top
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Knjiga Tvrdi uvez
common.buy 31.29 €
Rethinking Genesis 1-11 Gordon J. Wenham / Knjiga Tvrdi uvez
common.buy 26.12 €
Oxford Primary Illustrated Maths Dictionary / Knjiga Meki uvez
common.buy 10.83 €
Top
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Knjiga Tvrdi uvez
common.buy 20.96 €
Defects in HIgh-k Gate Dielectric Stacks Evgeni Gusev / Knjiga Tvrdi uvez
common.buy 206.00 €
Draw and Color Your Dragon JOHN SMITH / Knjiga Meki uvez
common.buy 18.12 €
In the Heights LIN-MANUEL MIRANDA / Knjiga Tvrdi uvez
common.buy 28.75 €
Top
Children of Jocasta Natalie Haynes / Knjiga Meki uvez
common.buy 9.71 €
Rocket Science Alan McFadzean / Knjiga Meki uvez
common.buy 36.35 €
Top
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Knjiga Meki uvez
common.buy 14.47 €
Donbas Conflict in Ukraine Daria Platonova / Knjiga Tvrdi uvez
common.buy 209.34 €
Life's Edge Carl Zimmer / Knjiga Meki uvez
common.buy 14.27 €
This Is Me (from the Greatest Showman) Justin Paul / Knjiga Meki uvez
common.buy 5.26 €
Of Ancients Unbound T.C. Edge / Knjiga Meki uvez
common.buy 25.11 €
World Literature Klaudia Hiu Yen Lee / Knjiga Tvrdi uvez
common.buy 209.34 €
Dark Waters Jason Wright / E-knjiga Adobe ePub DRM
common.buy 3.13 €
Hypertension and Stroke Venkatesh Aiyagari / Knjiga Meki uvez
common.buy 201.44 €
Dionysius of Halicarnasssus W. Rhys Roberts / Knjiga Meki uvez
common.buy 48.20 €
Beginning Human Rights Law Howard Davis / Knjiga Meki uvez
common.buy 63.09 €
Top
Basic Economics Thomas Sowell / Knjiga Tvrdi uvez
common.buy 31.39 €
Top
Green Lantern by Geoff Johns Omnibus Vol. 1 Geoff Johns / Knjiga Tvrdi uvez
common.buy 84.36 €
Cognitive Linguistics EVANS VYVYAN / Knjiga Tvrdi uvez
common.buy 164.37 €
Top
Accessing the Healing Power of the Vagus Nerve Stanley Rosenberg / Knjiga Meki uvez
common.buy 20.15 €

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