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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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ů

Až 30 dní na vrácení zboží

Zákazníci také koupili

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č
LE MYSTERE DE LA MAISON AUX TROIS ORMES Musso / Kniha Brožovaná
common.buy 883 Kč
La sagesse divine des animaux Stacey Demarco / Kniha Pevná
common.buy 741 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č
Lumieres Et Romantisme M. Castillo / Kniha Brožovaná
common.buy 688 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 511 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č
Leonardo Martin Kemp / Kniha Brožovaná
common.buy 359 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č

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

Wonder Island Boys Roger Thompson Finlay / Kniha Brožovaná
common.buy 368 Kč
Top
Lout of Count's Family (Novel) Vol. 1 Yu Ryeo-Han / Kniha Brožovaná
common.buy 317 Kč
Levně
The Legend of Sleepy Hollow Tarot--Headless Horseman Edition LAWYER NICK / Tiskovina Karty
common.buy 846 Kč
Creatures of Old Prasad / Audiokniha MP3
common.buy 96 Kč
Capybara Zen Helen H. Wu / Kniha Brožovaná
common.buy 164 Kč
Undying Destiny Jessica Lee / Audiokniha MP3
common.buy 489 Kč
Taking A Long Look Vivian Gornick / Kniha Pevná
common.buy 482 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č
The Case of The Stolen Case Carl Brookins / Kniha Brožovaná
common.buy 319 Kč
Supremacy of Christ Richard McCarrell / Kniha Brožovaná
common.buy 191 Kč
Let Me Tell You A Story Rob Parsons / Kniha Pevná
common.buy 410 Kč
Writing for Interaction Linda Newman Lior / Kniha Brožovaná
common.buy 1 039 Kč
Připravujeme
Creating Belfast Don McCloy / Kniha Brožovaná
common.buy 479 Kč
Euro Crash Brendan Brown / Kniha Pevná
common.buy 2 646 Kč
Community Identity Sebastian Kim / Kniha Brožovaná
common.buy 2 419 Kč
Cloud Computing for Teaching and Learning Lee Chao / Kniha Pevná
common.buy 4 193 Kč
British Culture of the Post-War Alastair Davies / Kniha Brožovaná
common.buy 1 499 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č
Crafty Makes: 51 Things to Make with Paper Plates Fiona Hayes / Kniha Pevná
common.buy 264 Kč
Kaukasus Und Seine Volker. Mit Textabbildungen, Etc. Roderich Von Erckert / Kniha Brožovaná
common.buy 668 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