Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer, Berlin, október 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Celý popis
? points 249 b
102.99 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Mapa National Portugal, Madeira 2021 / Kniha binding.
common.buy 12.74 €
Fullmetal Alchemist - tome 1 Terre de pierre Hiromu Arakawa / Kniha Brožovaná
common.buy 10.41 €
L'enfant du mistral Jean-Michel Thibaux / Kniha Brožovaná
common.buy 9.60 €
Régression avec Python Rouvière / Kniha Brožovaná
common.buy 41.47 €
S.O.S. Filosofia. Le risposte dei filosofi alle piccole e grandi emergenze della vita Simonetta Tassinari / Kniha Brožovaná
common.buy 16.28 €
Воля к жизни. Простые привычки, которые изменят твою жизнь. Книга 1 Андрей Беловешкин / Kniha Brožovaná
common.buy 15.77 €
Pays natal Dhotel / Kniha Brožovaná
common.buy 13.95 €
ENFERMEDAD DE PARKINSON Y OTROS TRASTORNOS DEL MOVIMIENTO SEN / Kniha Brožovaná
common.buy 56.65 €
Grundlagen des Zeichnens John Ruskin / Kniha Pevná
common.buy 21.64 €
Cuentos de amor, de locura y de muerte Horacio Quiroga / Kniha Brožovaná
common.buy 8.99 €
Handbuch Psychotherapie-Antrag Ingo Jungclaussen / Kniha Brožovaná
common.buy 71.62 €
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Kniha Brožovaná
common.buy 18.81 €
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Kniha Brožovaná
common.buy 44.51 €
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Kniha Brožovaná
common.buy 20.53 €
Vie de Saint Louis de Gonzague, d'Apres V. Cepari, Son Premier Historien Charles Clair / Kniha Brožovaná
common.buy 25.99 €
Les Gantois En 1382. Tome 2, Tableaux 9 A 16 De Cort-G / Kniha Brožovaná
common.buy 21.14 €
Aggressiv Flirten Michael Wiesner / Kniha Brožovaná
common.buy 13.55 €
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 20.53 €
Marktwirtschaft Im Unternehmen Conrad Mauritz / Kniha Brožovaná
common.buy 53.11 €
Grundformen der Angst Fritz Riemann / Kniha Pevná
common.buy 21.74 €
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Kniha Brožovaná
common.buy 95.50 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Methods and Software Engineering
Autor Karin Breitman, Ana Cavalcanti
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2009
Počet strán 757
EAN 9783642103728
ISBN 3642103723
Libristo kód 01655066
Nakladateľstvo Springer, Berlin
Váha 1169
Rozmery 155 x 235 x 30

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis Afshin Izadian / Kniha Brožovaná
common.buy 65.55 €
Julissa's Reading Log Martha Day Zschock / Kniha Pevná
common.buy 14.76 €
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Kniha Pevná
common.buy 35.50 €
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Kniha Brožovaná
common.buy 25.59 €
Typical Drama with Cloe-New School=New Life Cloe Demartino / Kniha Pevná
common.buy 22.96 €
Winter of Ice and Iron Rachel Neumeier / Kniha Brožovaná
common.buy 13.45 €
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Kniha Brožovaná
common.buy 5.96 €
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Kniha Brožovaná
common.buy 8.08 €
Resurrecting Artwork MCGUIRE / Kniha Brožovaná
common.buy 12.33 €
Hydrogeology Dassargues / Kniha Pevná
common.buy 113.21 €
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Kniha Pevná
common.buy 171.08 €
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Kniha Brožovaná
common.buy 7.88 €
Business Result: Elementary: Class Audio CD David Grant / Audio Audio CD
common.buy 35.30 €
State Crisis in Fragile Democracies Samuel Handlin / Kniha Brožovaná
common.buy 45.92 €
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Kniha Pevná
common.buy 101.98 €
Understanding Gangs and Gang Violence in America MORALES / Kniha Brožovaná
common.buy 120.90 €
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 13.14 €
The Treasury of Knowledge and Library Reference Samuel Maunder / Kniha Brožovaná
common.buy 35.30 €
Sailor's Logbook Mark L. Thompson / Kniha Brožovaná
common.buy 32.06 €
Ethical and Professional Issues in Nursing W Tadd / Kniha Brožovaná
common.buy 62.11 €
Pippi Longstocking Astrid Lindgren / Kniha Brožovaná
common.buy 11.12 €
Quality Analysis and Packaging of Seafood Products Ashutosh Kumar Shukla / Kniha Brožovaná
common.buy 191.32 €
Love Wins Elizabeth Martin / E-kniha Adobe ePub DRM
common.buy 4.54 €
Formal Logic P. Lorenzen / Kniha Brožovaná
common.buy 102.99 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet