Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656973
Price: 120.77 EUR
Availability: InStock
Author: Jin Song Dong
ISBN: 9783642169007

12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Jin Song Dong

Huibiao Zhu

Sprache

Englisch

Buch Broschur

Libristo-Code: 01656973

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2010

This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engine... Vollständige Beschreibung

Libristo-Code: 01656973

292 b

120.77 €

Externes Lager in kleiner Menge Wir versenden in 14-21 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Le Mont-Saint-Michel -Neerlandais- Henry Decaens

Broschur

12.33 €

Andre Cornelis M Paul Bourget

Broschur

13.34 €

LEURO COMMENT LA MONNAIE UNIQUE MENACE LAVENIR DE LEUROPE JOSEPH E STIGLITZ

Buch

49.46 €

Encrucijada Rodolfo Martinez

Adobe ePub DRM

3.83 €

Moja kaligrafia Cyferki Dorota Krassowska

Broschur

1.30 €

Moluk Bilibo Balance- und Spielschale lila

Spielzeug

34.08 €

Wild Julia Ruby Hildebrand

Hardcover

21.64 €

Bilder des Kaisers von Deutschland Bernd Schubert

Broschur

71.20 €

Kostenrechnung 1 - Grundlagen Klaus-Dieter Däumler

Broschur

28.31 €

Heidejagd Angela L. Forster

Broschur

11.93 €

Über die Anwendung der vertikalen Extension bei der Behandlung von Oberschenkelfrakturen rachitischer Kinder Wilhelm Stoeltzner

Broschur

12.63 €

AutoCAD Fur Die Haustechnik Olaf Schymura

Broschur

51.88 €

Dinosaury

Leporello

9.40 €

Non-controlling minority shareholdings under eu competition law ( MIGUEL VERDEGUER SAGARRA

Buch

51.78 €

Filosofía de la ciencia HERCE FERNANDEZ

Broschur

13.65 €

Potential von Poetry Slam fur den Literaturunterricht. Analyse zweier Texte von Bas Boettcher und Nora Gomringer Vanessa Ewald

Broschur

38.33 €

Sobre el estudio de la historia. y los Apéndices de la Historia de Inglaterra Hume

Broschur

11.83 €

Sol rojo sobre Hiroshima Mario Escobar Golderos

Broschur

28.01 €

This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010.§The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

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 Jin Song Dong, Huibiao Zhu

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 712

EAN 9783642169007

ISBN 3642169007

Libristo-Code 01656973

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 1024

Abmessungen 158 x 242 x 28

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

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 > Betriebssysteme

EDV und Informationstechnologie > Informatik

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