Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Methods and Software Engineering

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods and Software Engineering Karin Breitman
Libristo-code: 01655066
Uitgeverij Springer, Berlin, oktober 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Volledige beschrijving
? points 249 b
102.99 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

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

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods and Software Engineering
Auteur Karin Breitman, Ana Cavalcanti
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2009
Aantal pagina's 757
EAN 9783642103728
ISBN 3642103723
Libristo-code 01655066
Uitgeverij Springer, Berlin
Gewicht 1169
Afmetingen 155 x 235 x 30

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis Afshin Izadian / Boek Gebonden (paperback)
common.buy 65.55 €
Julissa's Reading Log Martha Day Zschock / Boek Gebonden (harde band)
common.buy 15.77 €
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Boek Gebonden (harde band)
common.buy 35.50 €
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Boek Gebonden (paperback)
common.buy 26.90 €
Typical Drama with Cloe-New School=New Life Cloe Demartino / Boek Gebonden (harde band)
common.buy 24.07 €
Winter of Ice and Iron Rachel Neumeier / Boek Gebonden (paperback)
common.buy 14.26 €
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Boek Gebonden (paperback)
common.buy 6.26 €
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Boek Gebonden (paperback)
common.buy 8.59 €
Resurrecting Artwork MCGUIRE / Boek Gebonden (paperback)
common.buy 13.14 €
Hydrogeology Dassargues / Boek Gebonden (harde band)
common.buy 118.47 €
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Boek Gebonden (harde band)
common.buy 171.08 €
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Boek Gebonden (paperback)
common.buy 8.39 €
Business Result: Elementary: Class Audio CD David Grant / Audio Audio cd
common.buy 36.92 €
State Crisis in Fragile Democracies Samuel Handlin / Boek Gebonden (paperback)
common.buy 48.15 €
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Boek Gebonden (harde band)
common.buy 107.14 €
Understanding Gangs and Gang Violence in America MORALES / Boek Gebonden (paperback)
common.buy 126.97 €
Essential Elements Jazz Play-Along - Jazz Standards: Flute, F Horn and Tuba (B.C.) [With CD (Audio)] Hal Leonard Corp / Boek Gebonden (paperback)
common.buy 14.86 €
The Treasury of Knowledge and Library Reference Samuel Maunder / Boek Gebonden (paperback)
common.buy 37.12 €
Sailor's Logbook Mark L. Thompson / Boek Gebonden (paperback)
common.buy 33.68 €
Ethical and Professional Issues in Nursing W Tadd / Boek Gebonden (paperback)
common.buy 65.15 €
Pippi Longstocking Astrid Lindgren / Boek Gebonden (paperback)
common.buy 9.70 €
Quality Analysis and Packaging of Seafood Products Ashutosh Kumar Shukla / Boek Gebonden (paperback)
common.buy 199.41 €
Love Wins Elizabeth Martin / E-book Adobe ePub DRM
common.buy 4.54 €
Formal Logic P. Lorenzen / Boek Gebonden (paperback)
common.buy 102.99 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken