Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Integrated Formal Methods

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Integrated Formal Methods Nadia Polikarpova
Libristo kód: 16803868
Nakladatelství Springer International Publishing AG, srpen 2017
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Fo... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

LE MYSTERE DE LA MAISON AUX TROIS ORMES Musso / Kniha Brožovaná
common.buy 891 Kč
La sagesse divine des animaux Stacey Demarco / Kniha Pevná
common.buy 748 Kč
Die Auflage Nach Dem Burgerlichen Gesetzbuche (1898) August Feigel / Kniha Brožovaná
common.buy 467 Kč
Au Bord Du Lac (1852) Emile Souvestre / Kniha Brožovaná
common.buy 685 Kč
Sancti Aurelii Augustini Hipponensis Episcopi ... Opera Omnia Post Lovaniensium Theologorum Recensionem Castigata: Denuo Ad Manuscriptes Codices Galli Saint Augustine of Hippo / Kniha Brožovaná
common.buy 685 Kč
Arte poética de Horacio o Epístola a los Pisones: Tres traducciones al castellano y la versión latina Horacio / Kniha Brožovaná
common.buy 631 Kč
Divertimento für Tenorsaxaphon und kleines Ensembl Carl/Enders Oesterhelt / Audio Audio CD
common.buy 520 Kč
El silenci de les cases MARIA SANPLA / Kniha Brožovaná
common.buy 363 Kč
Leonardo Martin Kemp / Kniha Brožovaná
common.buy 358 Kč
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 / Kniha Brožovaná
common.buy 510 Kč
Lumieres Et Romantisme M. Castillo / Kniha Brožovaná
common.buy 695 Kč

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

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Integrated Formal Methods
Autor Nadia Polikarpova, Steve Schneider
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2017
Počet stran 438
EAN 9783319668444
ISBN 3319668447
Libristo kód 16803868
Nakladatelství Springer International Publishing AG
Váha 6905
Rozměry 155 x 235 x 26

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Informační technologie: obecná témata
Výpočetní a informační technologie > Počítačové sítě a komunikace
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Creatures of Old Prasad / Audiokniha MP3
common.buy 96 Kč
The Black Doctor: And Other Tales of Terror and Mystery (1919) Arthur Conan Doyle / Kniha Brožovaná
common.buy 707 Kč
Introduction to Nuclear Waste Immobilisation Michael Ojovan / Kniha Brožovaná
common.buy 5 355 Kč
The Itsy Bitsy Spider Flowerpot Press / Kniha Leporelo
common.buy 209 Kč
Illustrated Guide to Chemistry JEFF GRANT / Kniha Brožovaná
common.buy 468 Kč
Taking A Long Look Vivian Gornick / Kniha Pevná
common.buy 474 Kč
The Case of The Stolen Case Carl Brookins / Kniha Brožovaná
common.buy 319 Kč
Undying Destiny Jessica Lee / Audiokniha MP3
common.buy 485 Kč
Capybara Zen Helen H. Wu / Kniha Brožovaná
common.buy 148 Kč
Let Me Tell You A Story Rob Parsons / Kniha Pevná
common.buy 460 Kč
Crafty Makes: 51 Things to Make with Paper Plates Fiona Hayes / Kniha Pevná
common.buy 264 Kč
Levně
The Legend of Sleepy Hollow Tarot--Headless Horseman Edition LAWYER NICK / Tiskovina Karty
common.buy 846 Kč
Top
Lout of Count's Family (Novel) Vol. 1 Yu Ryeo-Han / Kniha Brožovaná
common.buy 317 Kč
Writing for Interaction Linda Newman Lior / Kniha Brožovaná
common.buy 1 257 Kč
Parenting with Presence Susan Stiffelman / Kniha Brožovaná
common.buy 287 Kč
Real-Life Distance Education Al P. Mizell / Kniha Pevná
common.buy 2 924 Kč
Kaukasus Und Seine Volker. Mit Textabbildungen, Etc. Roderich Von Erckert / Kniha Brožovaná
common.buy 668 Kč
British Culture of the Post-War Alastair Davies / Kniha Brožovaná
common.buy 1 428 Kč
Cloud Computing for Teaching and Learning Lee Chao / Kniha Pevná
common.buy 4 266 Kč
Community Identity Sebastian Kim / Kniha Brožovaná
common.buy 2 492 Kč
Euro Crash Brendan Brown / Kniha Pevná
common.buy 2 646 Kč
Připravujeme
Creating Belfast Don McCloy / Kniha Brožovaná
common.buy 480 Kč
Wonder Island Boys Roger Thompson Finlay / Kniha Brožovaná
common.buy 368 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?