Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods and Software Engineering

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

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods and Software Engineering Karin Breitman
Kod Libristo: 01655066
Wydawnictwo Springer, Berlin, październik 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Cały opis
? points 249 b
435.98 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Mapa National Portugal, Madeira 2021 / Książka binding.
common.buy 54.01 zł
Fullmetal Alchemist - tome 1 Terre de pierre Hiromu Arakawa / Książka Miękka
common.buy 43.89 zł
L'enfant du mistral Jean-Michel Thibaux / Książka Miękka
common.buy 40.78 zł
Régression avec Python Rouvière / Książka Miękka
common.buy 175.49 zł
S.O.S. Filosofia. Le risposte dei filosofi alle piccole e grandi emergenze della vita Simonetta Tassinari / Książka Miękka
common.buy 65.24 zł
Воля к жизни. Простые привычки, которые изменят твою жизнь. Книга 1 Андрей Беловешкин / Książka Miękka
common.buy 66.84 zł
Pays natal Dhotel / Książka Miękka
common.buy 58.92 zł
ENFERMEDAD DE PARKINSON Y OTROS TRASTORNOS DEL MOVIMIENTO SEN / Książka Miękka
common.buy 239.63 zł
Grundlagen des Zeichnens John Ruskin / Książka Twarda
common.buy 91.70 zł
Cuentos de amor, de locura y de muerte Horacio Quiroga / Książka Miękka
common.buy 39.88 zł
Handbuch Psychotherapie-Antrag Ingo Jungclaussen / Książka Miękka
common.buy 303.38 zł
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Książka Miękka
common.buy 79.77 zł
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Książka Miękka
common.buy 188.62 zł
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Książka Miękka
common.buy 86.99 zł
Vie de Saint Louis de Gonzague, d'Apres V. Cepari, Son Premier Historien Charles Clair / Książka Miękka
common.buy 115.25 zł
Les Gantois En 1382. Tome 2, Tableaux 9 A 16 De Cort-G / Książka Miękka
common.buy 93.90 zł
Aggressiv Flirten Michael Wiesner / Książka Miękka
common.buy 57.22 zł
Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq / Książka Twarda
common.buy 87.09 zł
Marktwirtschaft Im Unternehmen Conrad Mauritz / Książka Miękka
common.buy 224.60 zł
Grundformen der Angst Fritz Riemann / Książka Twarda
common.buy 92.20 zł
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Książka Miękka
common.buy 404.31 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Methods and Software Engineering
Autor Karin Breitman, Ana Cavalcanti
Język Angielski
Oprawa Książka - Miękka
Data wydania 2009
Liczba stron 757
EAN 9783642103728
ISBN 3642103723
Kod Libristo 01655066
Wydawnictwo Springer, Berlin
Waga 1169
Wymiary 155 x 235 x 30

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis Afshin Izadian / Książka Miękka
common.buy 277.62 zł
Julissa's Reading Log Martha Day Zschock / Książka Twarda
common.buy 66.84 zł
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Książka Twarda
common.buy 150.23 zł
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Książka Miękka
common.buy 114.05 zł
Typical Drama with Cloe-New School=New Life Cloe Demartino / Książka Twarda
common.buy 102.02 zł
Winter of Ice and Iron Rachel Neumeier / Książka Miękka
common.buy 60.53 zł
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Książka Miękka
common.buy 26.55 zł
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Książka Miękka
common.buy 36.17 zł
Resurrecting Artwork MCGUIRE / Książka Miękka
common.buy 55.62 zł
Hydrogeology Dassargues / Książka Twarda
common.buy 478.98 zł
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Książka Twarda
common.buy 724.13 zł
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Książka Miękka
common.buy 33.57 zł
Business Result: Elementary: Class Audio CD David Grant / Audio CD Audio
common.buy 149.43 zł
State Crisis in Fragile Democracies Samuel Handlin / Książka Miękka
common.buy 203.65 zł
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Książka Twarda
common.buy 410.22 zł
Understanding Gangs and Gang Violence in America MORALES / Książka Miękka
common.buy 486.19 zł
Essential Elements Jazz Play-Along - Jazz Standards: Flute, F Horn and Tuba (B.C.) [With CD (Audio)] Hal Leonard Corp / Książka Miękka
common.buy 59.32 zł
The Treasury of Knowledge and Library Reference Samuel Maunder / Książka Miękka
common.buy 157.05 zł
Sailor's Logbook Mark L. Thompson / Książka Miękka
common.buy 129.08 zł
Ethical and Professional Issues in Nursing W Tadd / Książka Miękka
common.buy 249.66 zł
Pippi Longstocking Astrid Lindgren / Książka Miękka
common.buy 41.28 zł
Quality Analysis and Packaging of Seafood Products Ashutosh Kumar Shukla / Książka Miękka
common.buy 843.81 zł
Love Wins Elizabeth Martin / E-book Adobe ePub DRM
common.buy 19.43 zł
Formal Logic P. Lorenzen / Książka Miękka
common.buy 435.98 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo