Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods and Software Engineering

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods and Software Engineering Karin Breitman
Libristo kod: 01655066
Nakladnici Springer, Berlin, listopad 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Cijeli opis
? points 249 b
102.86 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Mapa National Portugal, Madeira 2021 / Knjiga binding.
common.buy 12.22 €
Fullmetal Alchemist - tome 1 Terre de pierre Hiromu Arakawa / Knjiga Meki uvez
common.buy 9.89 €
L'enfant du mistral Jean-Michel Thibaux / Knjiga Meki uvez
common.buy 9.19 €
Régression avec Python Rouvière / Knjiga Meki uvez
common.buy 39.60 €
S.O.S. Filosofia. Le risposte dei filosofi alle piccole e grandi emergenze della vita Simonetta Tassinari / Knjiga Meki uvez
common.buy 15.35 €
Воля к жизни. Простые привычки, которые изменят твою жизнь. Книга 1 Андрей Беловешкин / Knjiga Meki uvez
common.buy 14.84 €
Pays natal Dhotel / Knjiga Meki uvez
common.buy 13.33 €
ENFERMEDAD DE PARKINSON Y OTROS TRASTORNOS DEL MOVIMIENTO SEN / Knjiga Meki uvez
common.buy 54.26 €
Grundlagen des Zeichnens John Ruskin / Knjiga Tvrdi uvez
common.buy 21.62 €
Cuentos de amor, de locura y de muerte Horacio Quiroga / Knjiga Meki uvez
common.buy 9.39 €
Handbuch Psychotherapie-Antrag Ingo Jungclaussen / Knjiga Meki uvez
common.buy 71.54 €
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Knjiga Meki uvez
common.buy 18.79 €
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Knjiga Meki uvez
common.buy 42.53 €
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Knjiga Meki uvez
common.buy 19.49 €
Vie de Saint Louis de Gonzague, d'Apres V. Cepari, Son Premier Historien Charles Clair / Knjiga Meki uvez
common.buy 27.17 €
Les Gantois En 1382. Tome 2, Tableaux 9 A 16 De Cort-G / Knjiga Meki uvez
common.buy 22.12 €
Aggressiv Flirten Michael Wiesner / Knjiga Meki uvez
common.buy 13.53 €
Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq / Knjiga Tvrdi uvez
common.buy 20.50 €
Marktwirtschaft Im Unternehmen Conrad Mauritz / Knjiga Meki uvez
common.buy 53.04 €
Grundformen der Angst Fritz Riemann / Knjiga Tvrdi uvez
common.buy 21.72 €
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Knjiga Meki uvez
common.buy 90.63 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Methods and Software Engineering
Autor Karin Breitman, Ana Cavalcanti
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2009
Broj stranica 757
EAN 9783642103728
ISBN 3642103723
Libristo kod 01655066
Nakladnici Springer, Berlin
Težina 1169
Dimenzije 155 x 235 x 30

Kategorija

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Operating systems
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis Afshin Izadian / Knjiga Meki uvez
common.buy 65.47 €
Julissa's Reading Log Martha Day Zschock / Knjiga Tvrdi uvez
common.buy 15.75 €
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Knjiga Tvrdi uvez
common.buy 35.46 €
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Knjiga Meki uvez
common.buy 26.87 €
Typical Drama with Cloe-New School=New Life Cloe Demartino / Knjiga Tvrdi uvez
common.buy 24.04 €
Winter of Ice and Iron Rachel Neumeier / Knjiga Meki uvez
common.buy 14.24 €
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Knjiga Meki uvez
common.buy 6.26 €
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Knjiga Meki uvez
common.buy 8.58 €
Resurrecting Artwork MCGUIRE / Knjiga Meki uvez
common.buy 13.13 €
Hydrogeology Dassargues / Knjiga Tvrdi uvez
common.buy 107.71 €
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Knjiga Tvrdi uvez
common.buy 170.87 €
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Knjiga Meki uvez
common.buy 7.87 €
Business Result: Elementary: Class Audio CD David Grant / Audio Audio CD
common.buy 33.54 €
State Crisis in Fragile Democracies Samuel Handlin / Knjiga Meki uvez
common.buy 48.09 €
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Knjiga Tvrdi uvez
common.buy 101.85 €
Understanding Gangs and Gang Violence in America MORALES / Knjiga Meki uvez
common.buy 120.75 €
Essential Elements Jazz Play-Along - Jazz Standards: Flute, F Horn and Tuba (B.C.) [With CD (Audio)] Hal Leonard Corp / Knjiga Meki uvez
common.buy 13.13 €
The Treasury of Knowledge and Library Reference Samuel Maunder / Knjiga Meki uvez
common.buy 37.08 €
Sailor's Logbook Mark L. Thompson / Knjiga Meki uvez
common.buy 32.02 €
Ethical and Professional Issues in Nursing W Tadd / Knjiga Meki uvez
common.buy 62.04 €
Pippi Longstocking Astrid Lindgren / Knjiga Meki uvez
common.buy 9.69 €
Quality Analysis and Packaging of Seafood Products Ashutosh Kumar Shukla / Knjiga Meki uvez
common.buy 199.17 €
Love Wins Elizabeth Martin / E-knjiga Adobe ePub DRM
common.buy 4.34 €
Formal Logic P. Lorenzen / Knjiga Meki uvez
common.buy 102.86 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun