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.

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods and Software Engineering Michael Butler
Libristo kód: 09535572
Nakladatelství Springer International Publishing AG, listopad 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... 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

LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE / Kniha Kniha
common.buy 388 Kč
Histoire Du Plebiscite: Le Plebiscite Dans L'Antiquite (1887) Charles Borgeaud / Kniha Brožovaná
common.buy 524 Kč
Max von Schenkendorf E. Heinrich / Kniha Brožovaná
common.buy 711 Kč
Druhá derivace touhy Na prahu digitální teologie Tomáš Sedláček / Kniha Pevná
common.buy 289 Kč
Speculum Saxonum Ius municipale / Kniha Pevná
common.buy 149 Kč
Peche a la lune (La) DUBOIS / Kniha Brožovaná
common.buy 220 Kč
Historia del convento de Ntra.Sra.del Rosario de Oviedo TABOADA / Kniha Brožovaná
common.buy 1 048 Kč
Jak přemýšlí náš teenager? Tanith Careyová / Kniha Brožovaná
common.buy 399 Kč
Ich und du 5 podręcznik +CD /2012 Marta Kozubska Kniha Brožovaná
common.buy 244 Kč
Top
Appuntamento a Positano Goliarda Sapienza / Kniha Brožovaná
common.buy 335 Kč
Don Chisciotte in Sicilia Roberto Mandracchia / Kniha Brožovaná
common.buy 445 Kč
Hunger auf Leben Brigitte Reimann / Kniha Brožovaná
common.buy 167 Kč
Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein Kacper Piontkowski / Kniha Brožovaná
common.buy 512 Kč
Espiritualidad Islamica en Venezuela Nadya Ramdjan / Kniha Brožovaná
common.buy 1 987 Kč
Auf dass wir klug werden Anja Zimmer / Kniha Brožovaná
common.buy 370 Kč
Biotechs A Schneider / Kniha Brožovaná
common.buy 289 Kč
Die Geschichte des Gil Blas von Santillana Alain René Le Sage / Kniha Brožovaná
common.buy 711 Kč
Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales / Kniha Brožovaná
common.buy 674 Kč
de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J / Kniha Brožovaná
common.buy 336 Kč
Les Femmes Du Nouveau Monde (Nouv. Ed.) Eyma-X / Kniha Brožovaná
common.buy 582 Kč
TAMPOCO ABRAS ESTE LIBRO JAMáS ANDY LEE / Kniha Pevná
common.buy 458 Kč
De ejercicios con sor Isabél de Meester / Kniha Brožovaná
common.buy 338 Kč
Cacographie Rangee Dans Un Nouvel Ordre, Ou Exercices Sur l'Orthographe Lequien-E-A / Kniha Brožovaná
common.buy 423 Kč
Herzvibrieren Josie Kju / Kniha Brožovaná
common.buy 269 Kč

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engineering Methods, ICFEM 2015, held in Paris,§France, in November 2015. The 27 revised full papers presented were§carefully reviewed and selected from 82 submissions. The papers cover a wide§range of topics in the area of formal methods and software engineering and are§devoted to advancing the state of the art of applying formal methods in§practice. They focus in particular on combinations of conceptual and§methodological aspects with their formal foundation and tool support.

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 Formal Methods and Software Engineering
Autor Michael Butler, Sylvain Conchon, Fatiha Za?di
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2015
Počet stran 436
EAN 9783319254227
ISBN 3319254227
Libristo kód 09535572
Nakladatelství Springer International Publishing AG
Váha 6964
Rozměry 155 x 235 x 236

Kategorie

Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
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ů
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

Neurobrucellosis Mehmet Turgut / Kniha Pevná
common.buy 2 303 Kč
Evolution Driven by Organismal Behavior Rui Diogo / Kniha Pevná
common.buy 775 Kč
Tecumseh's Last Stand John Peter Sugden / Kniha Brožovaná
common.buy 563 Kč
Připravujeme
Thermo-Hydraulics of Nuclear Reactors Christopher Earls Brennen / Kniha Pevná
common.buy 1 464 Kč
Rival Truths Lindsay St Claire / Kniha Brožovaná
common.buy 1 283 Kč
American Game Fishes; Their Habits, Habitat and Peculiarities; George O. ]. 1846- [From Old C [Shields / Kniha Pevná
common.buy 946 Kč
Obturating Materials for Decidouos Dentition Deepti Jawa / Kniha Brožovaná
common.buy 893 Kč
Multi-GHz Frequency Synthesis & Division Hamid R. Rategh / Kniha Brožovaná
common.buy 2 357 Kč
A California Explorer: Five years contributions to California Explorer Magazine Meade Fischer / Kniha Brožovaná
common.buy 247 Kč
The McGregor Chronicles: Book 2 - Escape from Eden Larry K Collins / Kniha Brožovaná
common.buy 299 Kč
Top Fermented Vegetable Recipes: A Step-by-Step Guide for Kimchi, Krauts, and Ot Lisa Young / Kniha Brožovaná
common.buy 176 Kč
Music Theory for Singers Level One SANDVIG / Kniha Brožovaná
common.buy 615 Kč
Pearson REVISE 11+ English Practice Book 1 Helen Thomson / Kniha Brožovaná
common.buy 332 Kč
Gwendoline's Harvest: A Novel... James Payn / Kniha Brožovaná
common.buy 554 Kč
The Kama Sutra Vatsyayana / Kniha Brožovaná
common.buy 340 Kč
Top
Ritual Baths Deborah Hanekamp / Kniha Pevná
common.buy 490 Kč
Voice Biomarkers Shinichi Tokuno / Kniha Pevná
common.buy 2 991 Kč
Grade 9-1 GCSE Chemistry: OCR Gateway Revision Guide with Online Edition CGP Books / Kniha Brožovaná
common.buy 207 Kč
Successful Technological Integration for Competitive Advantage in Retail Settings Eleonora Pantano / Kniha Pevná
common.buy 4 858 Kč
Erich Von Manstein Benoit Lemay / Kniha Pevná
common.buy 995 Kč
Arimaspian Eye David L. Hall / Kniha Pevná
common.buy 1 123 Kč
Key Concepts in Health Psychology Ian Albery / Kniha Pevná
common.buy 2 717 Kč
Separation and the Very Young James Robertson / Kniha Brožovaná
common.buy 644 Kč
Chaplains of ANZAC Dr Jennifer Betham-Lang / Kniha Pevná
common.buy 359 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