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

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Integrated Formal Methods Erika Ábrahám
Libristo kód: 02975401
Nakladatelství Springer International Publishing AG, květen 2016
This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Fo... Celý popis
? points 189 b
1 887 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

Lebedele sălbatice - The Wild Swans (romană - engleză) Ulrich Renz / Kniha Brožovaná
common.buy 312 Kč
Entre chiens et loups Méndez / Kniha Brožovaná
common.buy 440 Kč
Rosso Sangue - Le cinéma italien des années de plomb Rauger / Kniha Brožovaná
common.buy 723 Kč
Uebersetzung von deutschen zusammengesetzten Adjektiven ins Polnische anhand der Romane von Elfriede Jelinek Badstubner-Kizik Camilla Badstubner-Kizik / E-kniha Adobe ePub DRM
common.buy 1 580 Kč
Atrás Da Muralha / Kniha Brožovaná
common.buy 346 Kč
BiBiBiber hat da mal 'ne Frage. Sind Dinos wirklich alle tot? Mai Thi Nguyen-Kim / E-kniha Adobe ePub DRM
common.buy 399 Kč
Argumentative Strukturen in popularwissenschaftlichen Texten der franzoesischen Zeitschrift Science & Vie Andreas Reimann / Kniha Brožovaná
common.buy 571 Kč
lettera che cade. Jacques Lacan e l'uomo come scarto Bruno Moroncini / Kniha Brožovaná
common.buy 660 Kč
I cinque sensi giocano a nascondino. Il mondo del Signor Acqua Agostino Traini / Kniha Pevná
common.buy 342 Kč
Du matériau à l'architecture László Moholy-Nagy / Kniha Brožovaná
common.buy 946 Kč
Isagoge in Die Phanomenologische Apophantik G. Heffernan / Kniha Brožovaná
common.buy 3 521 Kč
AMETS POLITAK IZAN, MAITEA AA VV / Kniha Pevná
common.buy 236 Kč
Bleiben Sie im Zweifelsfall moeglichst nuchtern! Hannes Gemba / Kniha Brožovaná
common.buy 309 Kč
Bettine von Arnim: Liedkompositionen Paul A Koch / Kniha Brožovaná
common.buy 376 Kč

This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.§The 33 papers§presented in this volume were carefully reviewed and selected from 99§submissions. They were organized in topical sections named: invited§contributions; program verification; probabilistic systems; concurrency; safety§and liveness; model learning; SAT and SMT solving; testing; theorem proving and§constraint satisfaction; case studies.§

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 Erika Ábrahám, Marieke Huisman
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2016
Počet stran 538
EAN 9783319336923
ISBN 3319336924
Libristo kód 02975401
Nakladatelství Springer International Publishing AG
Váha 8248
Rozměry 155 x 235 x 29

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
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 > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
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

Advances in Discrete Applied Mathematics and Graph Theory Janez Zerovnik / Kniha Pevná
common.buy 1 292 Kč
Inhuman Relations Scott Becker / Kniha Brožovaná
common.buy 445 Kč
Championship DNA Gideon Mulinge Mwololo / Kniha Brožovaná
common.buy 445 Kč
Return to Social Justice Jessica Urwin / Kniha Brožovaná
common.buy 2 803 Kč
A Soldier's Daughter (Illustrated) G. A. Henty / Kniha Brožovaná
common.buy 154 Kč
History of the Fishes of the British Islands Jonathan Couch / Kniha Brožovaná
common.buy 529 Kč
Family Maps of DeKalb County, Alabama, Deluxe Edition Gregory a Boyd J D / Kniha Brožovaná
common.buy 815 Kč
Submissionary Sherryle Kiser Jackson / Kniha Brožovaná
common.buy 340 Kč
WAYSIDE PILLARS, BY THE AUTHOR OF 'THE F EMILY ELIZA ELLIOTT / Kniha Pevná
common.buy 750 Kč
Preparing for Blockade 1885-1914 COBB / Kniha Brožovaná
common.buy 1 907 Kč
Ameno Black: the Lynching of Arliss Black M E Robertson-Hoon / Kniha Brožovaná
common.buy 379 Kč
Information Processing in Medical Imaging Alan C. F. Colchester / Kniha Brožovaná
common.buy 2 357 Kč
Jack Wilshere - Arsenal DNA Joe Jacobs / Kniha Pevná
common.buy 359 Kč
Global Legal Pluralism Paul Schiff Berman / Kniha Brožovaná
common.buy 1 505 Kč
Housekeepers Handy Book Lucia Baxter / Kniha Brožovaná
common.buy 415 Kč
International Law Reports E. LauterpachtC. J. Greenwood / Kniha Pevná
common.buy 4 790 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?