Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Integrated Formal Methods

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Integrated Formal Methods Nadia Polikarpova
Koda Libristo: 16803868
Založba Springer International Publishing AG, avgust 2017
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Fo... Celoten opis
? points 118 b
48.76 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

LE MYSTERE DE LA MAISON AUX TROIS ORMES Musso / Knjiga Mehka
common.buy 33.61 €
La sagesse divine des animaux Stacey Demarco / Knjiga Trda
common.buy 28.16 €
Die Auflage Nach Dem Burgerlichen Gesetzbuche (1898) August Feigel / Knjiga Mehka
common.buy 19.28 €
Au Bord Du Lac (1852) Emile Souvestre / Knjiga Mehka
common.buy 28.26 €
Sancti Aurelii Augustini Hipponensis Episcopi ... Opera Omnia Post Lovaniensium Theologorum Recensionem Castigata: Denuo Ad Manuscriptes Codices Galli Saint Augustine of Hippo / Knjiga Mehka
common.buy 28.26 €
Arte poética de Horacio o Epístola a los Pisones: Tres traducciones al castellano y la versión latina Horacio / Knjiga Mehka
common.buy 26.04 €
Divertimento für Tenorsaxaphon und kleines Ensembl Carl/Enders Oesterhelt / Zvok Zvočni CD
common.buy 21.40 €
El silenci de les cases MARIA SANPLA / Knjiga Mehka
common.buy 13.32 €
Leonardo Martin Kemp / Knjiga Mehka
common.buy 13.32 €
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 Mehka
common.buy 18.97 €
Lumieres Et Romantisme M. Castillo / Knjiga Mehka
common.buy 26.14 €

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

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Integrated Formal Methods
Avtor Nadia Polikarpova, Steve Schneider
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2017
Število strani 438
EAN 9783319668444
ISBN 3319668447
Koda Libristo 16803868
Založba Springer International Publishing AG
Teža 6905
Mere 155 x 235 x 26

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Creatures of Old Prasad / Zvočnica MP3
common.buy 3.52 €
The Black Doctor: And Other Tales of Terror and Mystery (1919) Arthur Conan Doyle / Knjiga Mehka
common.buy 29.17 €
Introduction to Nuclear Waste Immobilisation Michael Ojovan / Knjiga Mehka
common.buy 210.51 €
The Itsy Bitsy Spider Flowerpot Press / Knjiga Kartonka
common.buy 8.17 €
Illustrated Guide to Chemistry JEFF GRANT / Knjiga Mehka
common.buy 19.28 €
Taking A Long Look Vivian Gornick / Knjiga Trda
common.buy 19.58 €
The Case of The Stolen Case Carl Brookins / Knjiga Mehka
common.buy 13.12 €
Undying Destiny Jessica Lee / Zvočnica MP3
common.buy 17.86 €
Capybara Zen Helen H. Wu / Knjiga Mehka
common.buy 6.55 €
Let Me Tell You A Story Rob Parsons / Knjiga Trda
common.buy 18.67 €
Crafty Makes: 51 Things to Make with Paper Plates Fiona Hayes / Knjiga Trda
common.buy 10.89 €
Poceni
The Legend of Sleepy Hollow Tarot--Headless Horseman Edition LAWYER NICK / Tiskani izdelki Karte
common.buy 34.93 €
Top
Lout of Count's Family (Novel) Vol. 1 Yu Ryeo-Han / Knjiga Mehka
common.buy 13.12 €
Writing for Interaction Linda Newman Lior / Knjiga Mehka
common.buy 46.23 €
Parenting with Presence Susan Stiffelman / Knjiga Mehka
common.buy 12.71 €
Real-Life Distance Education Al P. Mizell / Knjiga Trda
common.buy 120.65 €
Kaukasus Und Seine Volker. Mit Textabbildungen, Etc. Roderich Von Erckert / Knjiga Mehka
common.buy 29.17 €
British Culture of the Post-War Alastair Davies / Knjiga Mehka
common.buy 58.86 €
Cloud Computing for Teaching and Learning Lee Chao / Knjiga Trda
common.buy 185.27 €
Community Identity Sebastian Kim / Knjiga Mehka
common.buy 108.23 €
Euro Crash Brendan Brown / Knjiga Trda
common.buy 103.99 €
Kmalu
Creating Belfast Don McCloy / Knjiga Mehka
common.buy 19.78 €
Wonder Island Boys Roger Thompson Finlay / Knjiga Mehka
common.buy 15.14 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?