Antikvaari
KauppiaatAsiakaspalveluKirjaudu

Hardware and Software: Verification and Testing

7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Kerstin Eder

Kirjasarja: Lecture Notes in Computer Science, osa 7261

Ei tuotekuvaa

Kirjoita arvostelu

Tuote ei saatavilla

Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Lisää tuote omalle toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotetta tulee saataville Antikvaariin!

Haetaan tuotteita...

Teosta "Hardware and Software: Verification and Testing" 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 Berlin Heidelberg

Sidosasu

ISBN

3642341888

9783642341885

Kieli

englanti

Alkuperäinen nimi

-

Kaikki tekijät

Kerstin Eder

Kirjasarja

Lecture Notes in Computer Science, osa 7261

Tuotekategoriat

-

Aiheet

Computer science.

Software engineering.

Programming languages (Electronic computers).

Computer logic.

Artificial intelligence.

Computer Science.

Software Engineering.

Programming Languages, Compilers, Interpreters.

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics).

Logic design.