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 €.

Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Integrated Formal Methods Nadia Polikarpova
Libristo kod: 16803868
Nakladnici Springer International Publishing AG, kolovoz 2017
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Fo... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

LE MYSTERE DE LA MAISON AUX TROIS ORMES Musso / Knjiga Meki uvez
common.buy 35.34 €
La sagesse divine des animaux Stacey Demarco / Knjiga Tvrdi uvez
common.buy 29.56 €
Die Auflage Nach Dem Burgerlichen Gesetzbuche (1898) August Feigel / Knjiga Meki uvez
common.buy 20.35 €
Au Bord Du Lac (1852) Emile Souvestre / Knjiga Meki uvez
common.buy 29.77 €
Sancti Aurelii Augustini Hipponensis Episcopi ... Opera Omnia Post Lovaniensium Theologorum Recensionem Castigata: Denuo Ad Manuscriptes Codices Galli Saint Augustine of Hippo / Knjiga Meki uvez
common.buy 29.77 €
Arte poética de Horacio o Epístola a los Pisones: Tres traducciones al castellano y la versión latina Horacio / Knjiga Meki uvez
common.buy 27.44 €
Divertimento für Tenorsaxaphon und kleines Ensembl Carl/Enders Oesterhelt / Audio Audio CD
common.buy 22.58 €
El silenci de les cases MARIA SANPLA / Knjiga Meki uvez
common.buy 14.98 €
Leonardo Martin Kemp / Knjiga Meki uvez
common.buy 14.07 €
Lecciones de Seguridad Social (I) : el sistema de Seguridad Social su régimen general y la protección social complementaria Francisco Javier Hernáez Manrique / Knjiga Meki uvez
common.buy 20.04 €
Lumieres Et Romantisme M. Castillo / Knjiga Meki uvez
common.buy 27.44 €

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..

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 Integrated Formal Methods
Autor Nadia Polikarpova, Steve Schneider
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2017
Broj stranica 438
EAN 9783319668444
ISBN 3319668447
Libristo kod 16803868
Nakladnici Springer International Publishing AG
Težina 6905
Dimenzije 155 x 235 x 26

Kategorija

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 > Artificial intelligence
Computing & Information Technology > Information technology: general issues
Computing & Information Technology > Computer networking & communications
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

Creatures of Old Prasad / Audio knjiga MP3
common.buy 3.74 €
The Black Doctor: And Other Tales of Terror and Mystery (1919) Arthur Conan Doyle / Knjiga Meki uvez
common.buy 30.78 €
Introduction to Nuclear Waste Immobilisation Michael Ojovan / Knjiga Meki uvez
common.buy 221.60 €
The Itsy Bitsy Spider Flowerpot Press / Knjiga Leporelo
common.buy 8.60 €
Illustrated Guide to Chemistry JEFF GRANT / Knjiga Meki uvez
common.buy 20.35 €
Taking A Long Look Vivian Gornick / Knjiga Tvrdi uvez
common.buy 20.96 €
The Case of The Stolen Case Carl Brookins / Knjiga Meki uvez
common.buy 13.87 €
Undying Destiny Jessica Lee / Audio knjiga MP3
common.buy 19.03 €
Capybara Zen Helen H. Wu / Knjiga Meki uvez
common.buy 6.98 €
Let Me Tell You A Story Rob Parsons / Knjiga Tvrdi uvez
common.buy 19.03 €
Crafty Makes: 51 Things to Make with Paper Plates Fiona Hayes / Knjiga Tvrdi uvez
common.buy 11.54 €
Povoljno
The Legend of Sleepy Hollow Tarot--Headless Horseman Edition LAWYER NICK / Tiskanica Karte
common.buy 35.03 €
Top
Lout of Count's Family (Novel) Vol. 1 Yu Ryeo-Han / Knjiga Meki uvez
common.buy 14.17 €
Writing for Interaction Linda Newman Lior / Knjiga Meki uvez
common.buy 49.11 €
Parenting with Presence Susan Stiffelman / Knjiga Meki uvez
common.buy 13.56 €
Real-Life Distance Education Al P. Mizell / Knjiga Tvrdi uvez
common.buy 126.39 €
Kaukasus Und Seine Volker. Mit Textabbildungen, Etc. Roderich Von Erckert / Knjiga Meki uvez
common.buy 29.26 €
British Culture of the Post-War Alastair Davies / Knjiga Meki uvez
common.buy 61.77 €
Cloud Computing for Teaching and Learning Lee Chao / Knjiga Tvrdi uvez
common.buy 185.84 €
Community Identity Sebastian Kim / Knjiga Meki uvez
common.buy 108.57 €
Euro Crash Brendan Brown / Knjiga Tvrdi uvez
common.buy 109.48 €
Pripremamo
Creating Belfast Don McCloy / Knjiga Meki uvez
common.buy 21.26 €
Wonder Island Boys Roger Thompson Finlay / Knjiga Meki uvez
common.buy 16.20 €

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?