Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Methods and Software Engineering

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal Methods and Software Engineering Karin Breitman
Koda Libristo: 01655066
Založba Springer, Berlin, oktober 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Celoten opis
? points 236 b
97.53 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

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

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal Methods and Software Engineering
Avtor Karin Breitman, Ana Cavalcanti
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2009
Število strani 757
EAN 9783642103728
ISBN 3642103723
Koda Libristo 01655066
Založba Springer, Berlin
Teža 1169
Mere 155 x 235 x 30

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis Afshin Izadian / Knjiga Mehka
common.buy 62.08 €
Julissa's Reading Log Martha Day Zschock / Knjiga Trda
common.buy 14.78 €
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Knjiga Trda
common.buy 33.51 €
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Knjiga Mehka
common.buy 25.61 €
Typical Drama with Cloe-New School=New Life Cloe Demartino / Knjiga Trda
common.buy 22.98 €
Winter of Ice and Iron Rachel Neumeier / Knjiga Mehka
common.buy 13.46 €
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Knjiga Mehka
common.buy 5.97 €
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Knjiga Mehka
common.buy 8.09 €
Resurrecting Artwork MCGUIRE / Knjiga Mehka
common.buy 12.35 €
Hydrogeology Dassargues / Knjiga Trda
common.buy 102.59 €
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Knjiga Trda
common.buy 161.84 €
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Knjiga Mehka
common.buy 7.48 €
Business Result: Elementary: Class Audio CD David Grant / Zvok Zvočni CD
common.buy 31.89 €
State Crisis in Fragile Democracies Samuel Handlin / Knjiga Mehka
common.buy 45.97 €
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Knjiga Trda
common.buy 102.08 €
Understanding Gangs and Gang Violence in America MORALES / Knjiga Mehka
common.buy 121.02 €
Essential Elements Jazz Play-Along - Jazz Standards: Flute, F Horn and Tuba (B.C.) [With CD (Audio)] Hal Leonard Corp / Knjiga Mehka
common.buy 12.35 €
The Treasury of Knowledge and Library Reference Samuel Maunder / Knjiga Mehka
common.buy 35.34 €
Sailor's Logbook Mark L. Thompson / Knjiga Mehka
common.buy 32.10 €
Ethical and Professional Issues in Nursing W Tadd / Knjiga Mehka
common.buy 62.18 €
Pippi Longstocking Astrid Lindgren / Knjiga Mehka
common.buy 9.00 €
Quality Analysis and Packaging of Seafood Products Ashutosh Kumar Shukla / Knjiga Mehka
common.buy 191.52 €
Love Wins Elizabeth Martin / E-knjiga Adobe ePub DRM
common.buy 4.04 €
Formal Logic P. Lorenzen / Knjiga Mehka
common.buy 97.53 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?