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

6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods and Software Engineering Jim Davies
Libristo-code: 01560067
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2004
This book constitutes the refereed proceedings of the 6th International Conference on Formal Enginee... Volledige beschrijving
? points 249 b
103.16 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Elektrotechnische Messkunde Paul Benjamin Arthur Linker / Boek Gebonden (paperback)
common.buy 53.20 €
Wischendampfverwertung in Entwicklung, Theorie Und Wirtschaftlichkeit Ernst Reutlinger / Boek Gebonden (paperback)
common.buy 53.20 €
Listy perskie wyd. 2 Monteskiusz / Boek Gebonden (paperback)
common.buy 3.74 €
350 EXERCICES - VOCABULAIRE, NIVEAU MOYEN CORRIGÉS Prouillac / Boek Gebonden (paperback)
common.buy 9.62 €
TOP
Národní opruzení Karolína Meixnerová / Boek Gebonden (paperback)
common.buy 10.83 €
Die Walküre Richard Wagner / Boek Gebonden (paperback)
common.buy 14.89 €
Stigmatisierung und sprachliche Gewalt in Goethes Faust I Anja Schäfer / Boek Gebonden (paperback)
common.buy 16.21 €
2012, Das Bewusstsein der Neuen Zeit Lee Carroll / Boek Gebonden (harde band)
common.buy 17.02 €
Génius i popleta Denise Fenziová / Boek Gebonden (harde band)
common.buy 9.72 €
Ben Sende Tutuklu Kaldim Güler Bilkay Aygün / Boek Gebonden (paperback)
common.buy 14.18 €
Sen Ancak Sevdiginsin Serdar Özkan / Boek Gebonden (paperback)
common.buy 9.21 €
První republika v barvě Pavel Pospíšil / Boek Gebonden (harde band)
common.buy 32.42 €
BABADADA black-and-white, latvie?u valoda - Russkij âzyk (Latinskij bukvy), Att?lu v?rdn?ca - Ill?strirovannyj slovar? / Boek Gebonden (paperback)
common.buy 7.89 €
LE GRAND VOYAGE DE LENA DOUTREMER / Boek binding.
common.buy 18.23 €
Le Sacré en question / Boek Gebonden (paperback)
common.buy 42.56 €
Les nègres ont la peau dure Bavarin / Boek Gebonden (paperback)
common.buy 29.79 €
Čas na Vánoce printintin / Boek Gebonden (harde band)
common.buy 14.48 €
Zeszyt dla sześciolatków czytam z lokomotywą cześć 2 l d k u s y Praca Zbiorowa Pod Red. M. Dobrowolskiej / Boek Gebonden (paperback)
common.buy 5.16 €
Timmy Tiptoes (Traditional Chinese): 01 Paperback B&w H. y. Xiao Phd / Boek Gebonden (paperback)
common.buy 7.59 €
El pueblo durmiente REBECCA DAUTREMER / Boek Gebonden (paperback)
common.buy 27.05 €
Zambullendonos Bartolome Sanchez Sanchez / Boek Gebonden (paperback)
common.buy 49.65 €

This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004.§The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 110 submissions. The papers address all current issues in formal methods and their applications in software engineering, ranging from theoretical and methodological aspects to applications in various domains.

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 Jim Davies, Wolfram Schulte, Mike Barnett
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2004
Aantal pagina's 500
EAN 9783540238416
ISBN 3540238417
Libristo-code 01560067
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1590
Afmetingen 155 x 235 x 28

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 > Computerarchitectuur en logica-ontwerp
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

Stressed Composite Structures Alexander G. Kolpakov / Boek Gebonden (harde band)
common.buy 103.16 €
Computer Chemistry Ivar Ugi / Boek Gebonden (paperback)
common.buy 51.78 €
KEEP ON SWINGING PETER DE BOER_SIMON / Boek binding.
common.buy 31.00 €
Geosystems: Design Rules and Applications Adam Bezuijen / Boek Gebonden (paperback)
common.buy 95.86 €
Notes in Time: A Samantha Townsend Adventure Lisa Briley / Boek Gebonden (paperback)
common.buy 7.69 €
The Desire of Ages Mrs Ellen G White / Boek Gebonden (paperback)
common.buy 27.45 €
Hydrogen Research for Spaceport and Space-Based Applications: Fuel Cell Projects National Aeronautics and Administration / Boek Gebonden (paperback)
common.buy 24.82 €
A Middle East American: A Journey through Cultures MR Guy Nagib Tower / Boek Gebonden (paperback)
common.buy 11.04 €
Remainders to Children as a Class. Walter Murphy / Boek Gebonden (paperback)
common.buy 14.18 €
Pedigree reconstruction in commercial broodstock of Common Sole Brian Martin Babigumira / Boek Gebonden (paperback)
common.buy 32.12 €
Atlas of Thyroid and Neuroendocrine Tumor Markers Luca Giovanella / Boek Gebonden (harde band)
common.buy 100.93 €
Battle for Yellowstone Justin Farrell / Boek Gebonden (paperback)
common.buy 34.55 €
Fluorescence Imaging and Biological Quantification Raquel Seruca / Boek Gebonden (harde band)
common.buy 365.44 €
A MANUAL OF EXERCISES IN FOREST MENSURAT HUGO WINKENWERDER / Boek Gebonden (harde band)
common.buy 31.71 €
Talking to God Thomas L Constable / Boek Gebonden (paperback)
common.buy 20.97 €
Multimodal Behavior Analysis in the Wild Xavier Alameda-Pineda / E-book Adobe ePub DRM
common.buy 201.16 €
Wordt verwacht Nieuw
Browser Art Daniela Hönigsberg / Boek Gebonden (harde band)
common.buy 97.48 €
Advances in Anesthesia, 2025 Laurence Torsher / Boek Gebonden (harde band)
common.buy 178.36 €
In Praise of Slow Carl Honore / Boek Gebonden (paperback)
common.buy 10.83 €
Jingle Spells Emily Grimoire / Boek Gebonden (paperback)
common.buy 9.11 €
Functional Magnetic and Spintronic Nanomaterials Igor Vladymyrskyi / Boek Gebonden (harde band)
common.buy 164.88 €
Loyal Soldier, Lustful Beast (Light Novel) Saya Shirosaki / Boek Gebonden (paperback)
common.buy 17.12 €
Pugilistica: The History Of British Boxing Containing Lives Of The Most Celebrated Pugilists; Volume 3 Henry Downes Miles / Boek Gebonden (harde band)
common.buy 40.22 €
O-Ei-A digital 2023 - Alle drei Preisführer zum Sammelgebiet Überraschungsei erstmals digital auf USB-Stick als PDF-Version! André Feiler / Spel/speelgoed Speelgoed
common.buy 35.76 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?