SULJE VALIKKO

Tapahtumat
26.2. Kätlin Kaldmaa ja Maaria Ylikangas
1.3. Antti Vihinen
5.3. Eveliina Talvitie ja Saara Henriksson
12.3. Katja Kallio & Anna-Leena Härkönen sekä Frank Martela
19.3. Historiallisten romaanien ilta
26.3. Dekkari-ilta: Emelie Schepp, Joel Kangas ja Eeva Louko
9.4. Malin Slotte, Emma Klingenberg, Karin Collins och Anna-Lena Laurén
30.4. Niina Kivilä ja Ida Kukkapuro
Näistä puhumme juuri nyt!
Aloita uusi vuosi uusilla tarinoilla
Henkilökunta suosittelee
Kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Runous
Sarjakuvat
Mietelauseet
Pokkarit
Keltainen Kirjasto
Otavan kirjasto
Tietokirjallisuus
Elämänkerrat ja muistelmat
Yleistieto
Tietotekniikka
Ajoneuvot
Taide ja arkkitehtuuri
Käsityötaide
Historia
Yhteiskunta
Yritykset ja talous
Oikeustiede
Lääketiede
Kalenterit
Hyvinvointikirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Psykologia
Lapset, vauvat, raskaus
Voimistelu
Harrastekirjat
Keittokirjat
Sisustus
Käsityöt
Talo ja piha
Puutarha ja kasvit
Urheilu ja ulkoilu
Matkakirjat
Eläimet
Musiikki
Valokuvaus
Metsästys ja kalastus
Lastenkirjat
Kuvakirjat
Oppi&ilo tuotteet kaikenikäisille
Nuortenkirjat
Selkokirjat
Lahjakortti
Tietoa verkkokaupasta

avaa valikko

Ofer Strichman | Akateeminen Kirjakauppa

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



Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, Nov
HARDWARE AND SOFTWARE: VERIFICATION AND TESTING - 13TH INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2017, HAIFA, ISRAEL, NOV
Ofer Strichman; Rachel Tzoref-Brill
Springer International Publishing AG (2017)
Pehmeäkantinen kirja
51,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theory and Applications of Satisfiability Testing - SAT 2010 - 13th International Conference, SAT 2010, Edinburgh, UK, July 11-1
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010 - 13TH INTERNATIONAL CONFERENCE, SAT 2010, EDINBURGH, UK, JULY 11-1
Ofer Strichman; Stefan Szeider
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja
51,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Efficient Decision Procedures for Validation
EFFICIENT DECISION PROCEDURES FOR VALIDATION
Ofer Strichman
LAP Lambert Academic Publishing (2010)
Pehmeäkantinen kirja
85,70 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Decision Procedures - An Algorithmic Point of View
DECISION PROCEDURES - AN ALGORITHMIC POINT OF VIEW
Daniel Kroening; Ofer Strichman
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Kovakantinen kirja
66,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Decision Procedures - An Algorithmic Point of View
DECISION PROCEDURES - AN ALGORITHMIC POINT OF VIEW
Daniel Kroening; Ofer Strichman
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja
52,70 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Decision Procedures - An Algorithmic Point of View
DECISION PROCEDURES - AN ALGORITHMIC POINT OF VIEW
Daniel Kroening; Ofer Strichman
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2017)
Kovakantinen kirja
76,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Decision Procedures - An Algorithmic Point of View
DECISION PROCEDURES - AN ALGORITHMIC POINT OF VIEW
Daniel Kroening; Ofer Strichman
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2018)
Pehmeäkantinen kirja
51,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, Nov
Ofer Strichman, Rachel Tzoref-Brill
51,40 €
Springer International Publishing AG
Sivumäärä: 253 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2017
Julkaisuvuosi: 2017, 12.11.2017 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, Novzoom
Näytä kaikki tuotetiedot
ISBN:
9783319703886
Asiasanat:
Model checking Coverage metrics Equivalence checking Semi-formal verification Simulation and emulation Transaction-level verification Theorem proving and SAT solving Assertion checking Software testing and debugging Formal software verification
Aihealue:
Ulkomaiset kirjat » Computers » Programming » Software Development
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste
Yhteystiedot
Toimitusehdot
Asiakaspalvelu
Tietosuojaseloste