Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Formal Methods and Software Engineering

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

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods and Software Engineering Jim Davies
Libristo-Code: 01560067
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2004
This book constitutes the refereed proceedings of the 6th International Conference on Formal Enginee... Vollständige Beschreibung
? points 249 b
101.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Elektrotechnische Messkunde Paul Benjamin Arthur Linker / Buch Broschur
common.buy 54.99 €
Wischendampfverwertung in Entwicklung, Theorie Und Wirtschaftlichkeit Ernst Reutlinger / Buch Broschur
common.buy 54.99 €
Listy perskie wyd. 2 Monteskiusz / Buch Broschur
common.buy 2.79 €
350 EXERCICES - VOCABULAIRE, NIVEAU MOYEN CORRIGÉS Prouillac / Buch Broschur
common.buy 9.39 €
Top
Národní opruzení Karolína Meixnerová / Buch Broschur
common.buy 9.49 €
Die Walküre Richard Wagner / Buch Broschur
common.buy 17.50 €
Stigmatisierung und sprachliche Gewalt in Goethes Faust I Anja Schäfer / Buch Broschur
common.buy 17.95 €
2012, Das Bewusstsein der Neuen Zeit Lee Carroll / Buch Hardcover
common.buy 19.95 €
Génius i popleta Denise Fenziová / Buch Hardcover
common.buy 9.59 €
Ben Sende Tutuklu Kaldim Güler Bilkay Aygün / Buch Broschur
common.buy 14.69 €
Sen Ancak Sevdiginsin Serdar Özkan / Buch Broschur
common.buy 9.59 €
První republika v barvě Pavel Pospíšil / Buch Hardcover
common.buy 27.49 €
BABADADA black-and-white, latvie?u valoda - Russkij âzyk (Latinskij bukvy), Att?lu v?rdn?ca - Ill?strirovannyj slovar? / Buch Broschur
common.buy 8.09 €
LE GRAND VOYAGE DE LENA DOUTREMER / Buch binding.
common.buy 14.79 €
Le Sacré en question / Buch Broschur
common.buy 34.59 €
Les nègres ont la peau dure Bavarin / Buch Broschur
common.buy 24.19 €
Čas na Vánoce printintin / Buch Hardcover
common.buy 12.69 €
Zeszyt dla sześciolatków czytam z lokomotywą cześć 2 l d k u s y Praca Zbiorowa Pod Red. M. Dobrowolskiej / Buch Broschur
common.buy 3.09 €
Timmy Tiptoes (Traditional Chinese): 01 Paperback B&w H. y. Xiao Phd / Buch Broschur
common.buy 6.39 €
El pueblo durmiente REBECCA DAUTREMER / Buch Broschur
common.buy 26.69 €
Zambullendonos Bartolome Sanchez Sanchez / Buch Broschur
common.buy 38.69 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods and Software Engineering
Autor Jim Davies, Wolfram Schulte, Mike Barnett
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2004
Anzahl der Seiten 500
EAN 9783540238416
ISBN 3540238417
Libristo-Code 01560067
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1590
Abmessungen 155 x 235 x 28

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Stressed Composite Structures Alexander G. Kolpakov / Buch Hardcover
common.buy 101.79 €
Computer Chemistry Ivar Ugi / Buch Broschur
common.buy 51.09 €
KEEP ON SWINGING PETER DE BOER_SIMON / Buch binding.
common.buy 25.19 €
Geosystems: Design Rules and Applications Adam Bezuijen / Buch Broschur
common.buy 84.89 €
Notes in Time: A Samantha Townsend Adventure Lisa Briley / Buch Broschur
common.buy 7.99 €
The Desire of Ages Mrs Ellen G White / Buch Broschur
common.buy 28.49 €
Hydrogen Research for Spaceport and Space-Based Applications: Fuel Cell Projects National Aeronautics and Administration / Buch Broschur
common.buy 20.69 €
A Middle East American: A Journey through Cultures MR Guy Nagib Tower / Buch Broschur
common.buy 11.39 €
Remainders to Children as a Class. Walter Murphy / Buch Broschur
common.buy 14.89 €
Pedigree reconstruction in commercial broodstock of Common Sole Brian Martin Babigumira / Buch Broschur
common.buy 31.69 €
Atlas of Thyroid and Neuroendocrine Tumor Markers Luca Giovanella / Buch Hardcover
common.buy 99.59 €
Battle for Yellowstone Justin Farrell / Buch Broschur
common.buy 35.79 €
Fluorescence Imaging and Biological Quantification Raquel Seruca / Buch Hardcover
common.buy 313.59 €
A MANUAL OF EXERCISES IN FOREST MENSURAT HUGO WINKENWERDER / Buch Hardcover
common.buy 32.79 €
Talking to God Thomas L Constable / Buch Broschur
common.buy 16.79 €
Multimodal Behavior Analysis in the Wild Xavier Alameda-Pineda / E-Book Adobe ePub DRM
common.buy 205.89 €
Demnächst Neu
Browser Art Daniela Hönigsberg / Buch Hardcover
common.buy 100.99 €
Advances in Anesthesia, 2025 Laurence Torsher / Buch Hardcover
common.buy 152.09 €
In Praise of Slow Carl Honore / Buch Broschur
common.buy 10.29 €
Jingle Spells Emily Grimoire / Buch Broschur
common.buy 8.99 €
Functional Magnetic and Spintronic Nanomaterials Igor Vladymyrskyi / Buch Hardcover
common.buy 162.69 €
Loyal Soldier, Lustful Beast (Light Novel) Saya Shirosaki / Buch Broschur
common.buy 13.69 €
Pugilistica: The History Of British Boxing Containing Lives Of The Most Celebrated Pugilists; Volume 3 Henry Downes Miles / Buch Hardcover
common.buy 33.89 €
O-Ei-A digital 2023 - Alle drei Preisführer zum Sammelgebiet Überraschungsei erstmals digital auf USB-Stick als PDF-Version! André Feiler / Spiel/Spielzeug Spielzeug
common.buy 35.29 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?