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, Berlin
SKU: 01659032
Price: 45.49 EUR
Availability: InStock
Author: Shengchao Qin
ISBN: 9783642245589

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Shengchao Qin

Zongyan Qiu

Sprache

Englisch

Buch Broschur

Libristo-Code: 01659032

Verlag Springer, Berlin, November 2010

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

Libristo-Code: 01659032

111 b

45.49 € inkl. MwSt.

Externes Lager Wir versenden in 8-11 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Akademia owoce Opracowanie zbiorowe

Broschur

2.79 €

Numération et calcul CP + CD Eric Mounier

Broschur

43.89 €

Sous l'emprise des ombres John Connolly

Broschur

9.69 €

Coleopterorum Catalogus S. Schenkling

Broschur

13.89 €

Poesies Choisies Et Pieces Inedites d'Alexis Piron PIRON-A

Broschur

22.29 €

Il Devoto-Oli dei sinonimi e contrari. Con analoghi, generici, inversi e gradazioni semantiche Maurizio Trifone

Broschur

43.99 €

Die Â«andereÂ» Familie Arbeitskreis "Repräsentationen"

Hardcover

108.45 €

Commentaria in decem Categorias Aristotelis Simplicius

Hardcover

162.00 €

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

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 Shengchao Qin, Zongyan Qiu

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 670

EAN 9783642245589

ISBN 3642245587

Libristo-Code 01659032

Verlag Springer, Berlin

Gewicht 1143

Abmessungen 155 x 235 x 35

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 > Informatik > Theoretische 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