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 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 € GLS Kurir 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Tests and Proofs

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Tests and Proofs Dirk Beyer
Libristo kod: 24519984
Nakladnici Springer Nature Switzerland AG, rujan 2019
This book constitutes the refereed proceedings of the 13th International Conference on Tests and Pro... Cijeli opis
? points 125 b
51.62 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Die Welt der Schlümpfe - Die Ferienschlümpfe. Bd.7 Max Murmel / Knjiga Tvrdi uvez
common.buy 12.72 €
Disney MM Refresh Core, Mickey, 25cm / Igra/Igračka Igra
common.buy 14.24 €
Les miznúcich hviezd Kristin Harmelová / Knjiga Tvrdi uvez
common.buy 14.24 €
Prévenir l'infarctus et l'accident vasculaire cérébral Michel de Lorgeril / Knjiga Meki uvez
common.buy 31.82 €
Neuere Anschauungen Auf Dem Gebiete Der Anorganischen Chemie (1920) Alfred Werner / Knjiga Meki uvez
common.buy 38.18 €
Planeet Vet / Knjiga Meki uvez
common.buy 20.20 €
Visión, La GABRIEL HERNANDEZ / Knjiga Meki uvez
common.buy 17.27 €
Einheitlichkeit der paulinischen Briefe an der Hand CARL CLEMEN / Knjiga Meki uvez
common.buy 16.96 €
Indonézia Baričák Pavel "Hirax" / Knjiga Tvrdi uvez
common.buy 13.33 €
Tanrilar Okulu Stefano E. D´Anna / Knjiga Meki uvez
common.buy 25.05 €
Le Theatre Francais, Mademoiselle Georges-Weimer Et l'Odeon Ferdinand De Laboullaye / Knjiga Meki uvez
common.buy 13.63 €
Antropologie Dan Rhodes / Knjiga Meki uvez
common.buy 6.66 €
Die UdSSR und die deutsche Frage 1941-1948. Jochen P. Laufer / Knjiga Tvrdi uvez
common.buy 93.95 €

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

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 Tests and Proofs
Autor Dirk Beyer, Chantal Keller
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2019
Broj stranica 207
EAN 9783030311568
Libristo kod 24519984
Nakladnici Springer Nature Switzerland AG
Težina 454
Dimenzije 155 x 235 x 13

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

art of Anatole France Dushan Bresky / Knjiga Tvrdi uvez
common.buy 109.10 €
The Liberty Bell Mary Firestone / Knjiga Meki uvez
common.buy 9.69 €
Hypnotism in Mental and Moral Culture John Duncan Quackenbos / Knjiga Tvrdi uvez
common.buy 45.76 €
Living or Dead Labor Unions .. Caroline Nelson / Knjiga Tvrdi uvez
common.buy 26.86 €
Bertha, Our Little German Cousin Mary Hazelton Blanchard Wade / Knjiga Meki uvez
common.buy 16.05 €
Global Future of Higher Education and the Academic Profession Philip G. Altbach / Knjiga Meki uvez
common.buy 106.17 €
Virtual Point of Freedom Lorenzo Chiesa / Knjiga Meki uvez
common.buy 41.11 €
This Is Your Mind On Plants Michael Pollan / Audio knjiga MP3
common.buy 10.90 €
Diversity in Career Preferences For Future Health Workers in Rwanda World Bank / Knjiga Meki uvez
common.buy 17.97 €
Americanization/Westernization of Austria Anton Pelinka / Knjiga Meki uvez
common.buy 75.16 €
Optical Bistability III Hyatt M. Gibbs / Knjiga Meki uvez
common.buy 102.84 €
Formation Of The Republican Party As A National Political Organization (1911) Saul Philip Kleeberg Gordon / Knjiga Meki uvez
common.buy 28.78 €
Molecular Processes in Plasmas Yukikazu Itikawa / Knjiga Meki uvez
common.buy 102.84 €

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
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?