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

11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods and Software Engineering Karin Breitman
Libristo kód: 01655066
Nakladatelství Springer, Berlin, říjen 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Mapa National Portugal, Madeira 2021 / Kniha binding.
common.buy 309 Kč
Fullmetal Alchemist - tome 1 Terre de pierre Hiromu Arakawa / Kniha Brožovaná
common.buy 251 Kč
L'enfant du mistral Jean-Michel Thibaux / Kniha Brožovaná
common.buy 233 Kč
Régression avec Python Rouvière / Kniha Brožovaná
common.buy 1 003 Kč
S.O.S. Filosofia. Le risposte dei filosofi alle piccole e grandi emergenze della vita Simonetta Tassinari / Kniha Brožovaná
common.buy 393 Kč
Воля к жизни. Простые привычки, которые изменят твою жизнь. Книга 1 Андрей Беловешкин / Kniha Brožovaná
common.buy 382 Kč
Pays natal Dhotel / Kniha Brožovaná
common.buy 337 Kč
ENFERMEDAD DE PARKINSON Y OTROS TRASTORNOS DEL MOVIMIENTO SEN / Kniha Brožovaná
common.buy 1 370 Kč
Grundlagen des Zeichnens John Ruskin / Kniha Pevná
common.buy 492 Kč
Cuentos de amor, de locura y de muerte Horacio Quiroga / Kniha Brožovaná
common.buy 217 Kč
Handbuch Psychotherapie-Antrag Ingo Jungclaussen / Kniha Brožovaná
common.buy 1 638 Kč
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Kniha Brožovaná
common.buy 429 Kč
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Kniha Brožovaná
common.buy 1 078 Kč
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Kniha Brožovaná
common.buy 497 Kč
Vie de Saint Louis de Gonzague, d'Apres V. Cepari, Son Premier Historien Charles Clair / Kniha Brožovaná
common.buy 628 Kč
Les Gantois En 1382. Tome 2, Tableaux 9 A 16 De Cort-G / Kniha Brožovaná
common.buy 511 Kč
Aggressiv Flirten Michael Wiesner / Kniha Brožovaná
common.buy 308 Kč
Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq / Kniha Pevná
common.buy 469 Kč
Marktwirtschaft Im Unternehmen Conrad Mauritz / Kniha Brožovaná
common.buy 1 214 Kč
Grundformen der Angst Fritz Riemann / Kniha Pevná
common.buy 498 Kč
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Kniha Brožovaná
common.buy 2 311 Kč

This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009.§The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems.

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 Karin Breitman, Ana Cavalcanti
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2009
Počet stran 757
EAN 9783642103728
ISBN 3642103723
Libristo kód 01655066
Nakladatelství Springer, Berlin
Váha 1169
Rozměry 155 x 235 x 30

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 > Operační systémy
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

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis Afshin Izadian / Kniha Brožovaná
common.buy 1 500 Kč
Julissa's Reading Log Martha Day Zschock / Kniha Pevná
common.buy 358 Kč
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Kniha Pevná
common.buy 811 Kč
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Kniha Brožovaná
common.buy 589 Kč
Typical Drama with Cloe-New School=New Life Cloe Demartino / Kniha Pevná
common.buy 555 Kč
Winter of Ice and Iron Rachel Neumeier / Kniha Brožovaná
common.buy 325 Kč
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Kniha Brožovaná
common.buy 144 Kč
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Kniha Brožovaná
common.buy 196 Kč
Resurrecting Artwork MCGUIRE / Kniha Brožovaná
common.buy 299 Kč
Hydrogeology Dassargues / Kniha Pevná
common.buy 2 738 Kč
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Kniha Pevná
common.buy 3 910 Kč
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Kniha Brožovaná
common.buy 170 Kč
Business Result: Elementary: Class Audio CD David Grant / Audio Audio CD
common.buy 854 Kč
State Crisis in Fragile Democracies Samuel Handlin / Kniha Brožovaná
common.buy 1 110 Kč
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Kniha Pevná
common.buy 2 345 Kč
Understanding Gangs and Gang Violence in America MORALES / Kniha Brožovaná
common.buy 2 779 Kč
Essential Elements Jazz Play-Along - Jazz Standards: Flute, F Horn and Tuba (B.C.) [With CD (Audio)] Hal Leonard Corp / Kniha Brožovaná
common.buy 318 Kč
The Treasury of Knowledge and Library Reference Samuel Maunder / Kniha Brožovaná
common.buy 855 Kč
Sailor's Logbook Mark L. Thompson / Kniha Brožovaná
common.buy 738 Kč
Ethical and Professional Issues in Nursing W Tadd / Kniha Brožovaná
common.buy 1 427 Kč
Pippi Longstocking Astrid Lindgren / Kniha Brožovaná
common.buy 219 Kč
Quality Analysis and Packaging of Seafood Products Ashutosh Kumar Shukla / Kniha Brožovaná
common.buy 4 627 Kč
Love Wins Elizabeth Martin / E-kniha Adobe ePub DRM
common.buy 111 Kč
Formal Logic P. Lorenzen / Kniha Brožovaná
common.buy 2 357 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?