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

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Integrated Formal Methods Einar Broch Johnsen
Libristo kód: 01663776
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, květen 2013
This book constitutes the refereed proceedings of the 10th 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

Manuel de communication non verbale appliquée - Le modèle de recours à la force évolué et les indices de menace Rossin-Arthiat / Kniha Brožovaná
common.buy 1 028 Kč
Připravujeme
Crimson Spell. Bd.5 Ayano Yamane / Kniha Brožovaná
common.buy 225 Kč
Kunst Des 18. Jahrhunderts Edmond de Goncourt / Kniha Brožovaná
common.buy 1 062 Kč
Dançando tango em Istambul Melis Merih Kiliç / Kniha Brožovaná
common.buy 1 014 Kč
EINE KLEINE NACHTMUSIK KV 525 WOLFGANG AMADEUS MOZ Kniha binding.
common.buy 279 Kč
Éléments de culture générale - 100 'colles' et sujets pour les prépas et les oraux des concours Dumont / Kniha Brožovaná
common.buy 751 Kč
Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann / Kniha List
common.buy 247 Kč
Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank / Kniha Pevná
common.buy 2 505 Kč
Recht und Energie Peter Rosin / Kniha Pevná
common.buy 5 209 Kč
Rivalen unter roter Sonne, 1 Blu-ray Terence Young / Video Blu-ray
common.buy 336 Kč
La biblia del ayurveda : guía definitiva de la sanación ayurvédica Anne McIntyre / Kniha Brožovaná
common.buy 516 Kč

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

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 Einar Broch Johnsen, Luigia Petre
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2013
Počet stran 443
EAN 9783642386121
ISBN 3642386121
Libristo kód 01663776
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 700
Rozměry 155 x 235 x 26

Kategorie

Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
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 > 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

Safety of historical stone arch bridges Pieter Van Gelder / Kniha Brožovaná
common.buy 2 303 Kč
Space groups (156) P3m1-(148) R-3 Pierre Villars / Kniha Pevná
common.buy 13 757 Kč
Progressive Development Arie S. Issar / Kniha Brožovaná
common.buy 2 357 Kč
Tocqueville Khaled Mattawa / Kniha Brožovaná
common.buy 318 Kč
Psychology of Crime, Policing and Courts Andreas Kapardis / Kniha Pevná
common.buy 5 675 Kč
Novels of Charles Lever V.1- The Confessions of Harry Lorrequer.., Volume 16 Charles Lever / Kniha Pevná
common.buy 924 Kč
Top
Stalin Edvard Radzinsky / Kniha Brožovaná
common.buy 350 Kč
Blaze and Thunderbolt C. W. Anderson / Kniha Brožovaná
common.buy 191 Kč
Inside Gitmo Gordon Cucullu / Kniha Brožovaná
common.buy 483 Kč
Meetings with Remarkable Women Lenore Friedman / Kniha Brožovaná
common.buy 664 Kč
Guided Highlighted Reading: A Close-Reading Strategy for Navigating Complex Text Elaine M. Weber / Kniha Brožovaná
common.buy 433 Kč
Free Thoughts on Despotic and Free Governments Joseph Townsend / Kniha Pevná
common.buy 794 Kč
Racism, Culture, Markets John Gabriel / Kniha Pevná
common.buy 6 406 Kč
Snapshots of Lisa: A Candid Look at Down Syndrome and Snippets of Lisa's Life Angee Barcus / Kniha Brožovaná
common.buy 299 Kč
Exponential Families of Stochastic Processes Uwe Küchler / Kniha Pevná
common.buy 3 532 Kč
Mentalizing in Arts Therapies Marianne Verfaille / Kniha Pevná
common.buy 4 647 Kč
Learn Power BI Greg Deckler / Kniha Brožovaná
common.buy 1 034 Kč
Awakening Power Sat Dharma / Kniha Brožovaná
common.buy 358 Kč
Broadtube Music Mag - Volume 28: Music Mag 28 Olamide Ayodeji Kolade / Kniha Brožovaná
common.buy 237 Kč
Dangerous Language ? Esperanto under Hitler and Stalin Humphrey Tonkin / Kniha Brožovaná
common.buy 2 681 Kč
Global Business Strategy Cornelis A. de Kluyver / Kniha Brožovaná
common.buy 658 Kč
Of Lands High and Low Martha Keyes / Kniha Brožovaná
common.buy 299 Kč
Fly ash for water and wastewater treatment Md. Ahmaruzzaman / Kniha Brožovaná
common.buy 893 Kč
Elegies. William Mason / Kniha Brožovaná
common.buy 287 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