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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

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: 112.39 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

275 b

112.39 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 9-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Consumo de Drogas en estudiantes universitarios Luis Santiago Espinoza Paul

Broschur

140.19 €

Posadnutosť Cassandra O'Donnell

Broschur

16.59 €

Moluk Bilibo Balance- und Spielschale lila

Spielzeug

32.99 €

Spekulatius, der Weihnachtsdrache. Abenteuer auf der Weihnachtsinsel Tobias Goldfarb

Hardcover

14.00 €

Miss Ich-Bin-Nicht-Verliebt Saskia Louis

Broschur

14.99 €

Encrucijada Rodolfo Martinez

Adobe ePub DRM

3.19 €

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

Buch

48.89 €

Wild Julia Ruby Hildebrand

Hardcover

25.00 €

Kostenrechnung 1 - Grundlagen Klaus-Dieter Däumler

Broschur

29.90 €

Le Mont-Saint-Michel -Neerlandais- Henry Decaens

Broschur

10.29 €

Strada facendo Italien Cahier d'activités 2de LVB A2>A2+ Marina Ferdeghini

Broschur

11.29 €

Mon premier livre sonore Stella Baggott

Hardcover

11.29 €

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

Broschur

11.69 €

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

Broschur

42.95 €

Dinosaury

Leporello

9.59 €

AutoCAD Fur Die Haustechnik Olaf Schymura

Broschur

54.99 €

Moja kaligrafia Cyferki Dorota Krassowska

Broschur

1.29 €

Memoria et damnatio memoriae ve středověku Paweł Kras

Broschur

5.09 €

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

Das könnte Sie auch interessieren

Service-Oriented Computing - ICSOC Workshops 2012 Aditya Ghose

Broschur

51.09 €

Advances in Cryptology - ASIACRYPT 2015 Tetsu Iwata

Broschur

51.09 €

Textual analysis for English Language and Literature for the IB Diploma Carolyn P. Henly

Broschur

36.79 €

400 classic Killer sudoku 9 x 9 VERY HARD + BONUS 250 Hidoku puzzles: Sudoku with VERY HARD levels puzzles and a Hidoku 9 x 9 very hard levels Basford Holmes

Broschur

9.89 €