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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Automated Technology for Verification and Analysis

12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Technology for Verification and Analysis Franck Cassez
Libristo kod: 05338676
Nakladnici Springer International Publishing AG, rujan 2014
This book constitutes the proceedings of the 12th International Symposium on Automated Technology fo... Cijeli opis
? points 125 b
51.68 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Catalogue de Tableaux Modernes, Aquarelles, Pastels, Dessins Par Nanny Adam, Ary Scheffer / Knjiga Meki uvez
common.buy 12.74 €
Die Tote im roten Kleid Ann Cleeves / Knjiga Meki uvez
common.buy 17.19 €
Top
Zvláštny návrat Rachel Priceovej Holly Jackson / Knjiga Meki uvez
common.buy 16.18 €

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 papers presented in this volume were carefully reviewed and selected from 76 submissions.

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 Automated Technology for Verification and Analysis
Autor Franck Cassez, Jean-Francois Raskin
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2014
Broj stranica 430
EAN 9783319119359
ISBN 3319119354
Libristo kod 05338676
Nakladnici Springer International Publishing AG
Težina 6847
Dimenzije 155 x 235 x 18

Kategorija

Computing & Information Technology > Computer hardware > Network hardware
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
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

Fluoride in Drinking-Water K Bailey / Knjiga Meki uvez
common.buy 93.76 €
Whatever Next? Anne Glenconner / Knjiga Meki uvez
common.buy 13.95 €
Forensic Science and Legal Medicine Francesco Sessa / Knjiga Tvrdi uvez
common.buy 45.92 €
Catalog of 16mm Silent Motion Picture Film Library; E Inc Mogull's Camera and Film Exchange / Knjiga Meki uvez
common.buy 16.48 €
The Sunday Afternoon: Fifty-Two Brief Sermons (1871) James Baldwin Brown / Knjiga Meki uvez
common.buy 38.23 €
Aesthetics of Fraudulence in Nineteenth-Century France Scott Carpenter / Knjiga Meki uvez
common.buy 73.13 €
Genesis: An Introduction and Commentary Andrew E Steinmann / Knjiga Meki uvez
common.buy 28.11 €
Someday Is Now Olugbemisola Rhuday-Perkovich / Knjiga Tvrdi uvez
common.buy 13.75 €
Simple Machines Pack A of 6 RUSTAD MARTHA E H / Knjiga Meki uvez
common.buy 46.72 €
Menace J M Darhower / Knjiga Meki uvez
common.buy 14.86 €
Top
OTHER MINDS Peter Godfrey-Smith / Knjiga Meki uvez
common.buy 14.46 €
Fracture of Composite Orthotropic Plates Containing Periodic Buffer Strips Feridun Delale / Knjiga Meki uvez
common.buy 18.40 €
Adventures of Hamhocks and Henry Hazel M Mason / Knjiga Meki uvez
common.buy 8.39 €
Internet Culture David Porter / Knjiga Meki uvez
common.buy 59.67 €
Lectures on the History of Physiology Michael Foster / Knjiga Meki uvez
common.buy 46.12 €
WDM Systems and Networks Neophytos (Neo) Antoniades / Knjiga Meki uvez
common.buy 205.74 €
Life Narratives and Youth Culture Kate Douglas / Knjiga Tvrdi uvez
common.buy 90.42 €
Millie Marotta Journal Millie Marotta / Knjiga Tvrdi uvez
common.buy 10.92 €
Constructivist Psychotherapy Robert A Neimeyer / Knjiga Meki uvez
common.buy 29.83 €
Coping Successfully with Pain Neville Shone / Knjiga Meki uvez
common.buy 19.31 €
Art Isn't Easy Joanne Gordon / Knjiga Meki uvez
common.buy 18.70 €
Korean Neo-Confucianism of Yi Yulgok Young-chan Ro / Knjiga Meki uvez
common.buy 35.80 €
Prenatal Person: Ethics from Conception to Bir th Norman M. Ford / Knjiga Meki uvez
common.buy 55.63 €
Pripremamo
Materials for a Historical Dictionary of New Persian Loanwords in Old Anatolian and Ottoman Turkish from the 13th to the 16th Century Marzanna Pomorska / Knjiga Meki uvez
common.buy 45.71 €

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