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: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01655091
Price: 51.09 EUR
Availability: InStock
Author: Marcel Vinícius Medeiros Oliveira
ISBN: 9783642104510

12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Marcel Vinícius Medeiros Oliveira

Jim Woodcock

Sprache

Englisch

Buch Broschur

Libristo-Code: 01655091

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2009

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symp... Vollständige Beschreibung

Libristo-Code: 01655091

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

La hija del Ganges Raluca Mirela Petrescu

Adobe ePub DRM

7.39 €

Dokumenty k dějinám ruské a ukrajinské emigrace v Československé republice (1918 - 1939) Ljubov Běloševská

Broschur

5.79 €

Comme un mendiant sur les quais de marbre Penblanc

Broschur

21.69 €

Přerušený klid - Islandská krimi Arnaldur Indridason

Hardcover

11.89 €

Le système fiscal international : une construction conceptuelle et pragmatique Giard

Broschur

39.59 €

Courir David Simpson

Hardcover

24.89 €

NoElle et Lui Alban Bourdy

Broschur

10.79 €

Analiza PESTLE Alina Dobre

Broschur

13.39 €

Das fröhliche Weihnachtsliederheft Renate Bruce-Weber

Noten

16.00 €

Gedichte in hochdeutscher und pfälzischer Mundart Franz von Kobell

Broschur

17.00 €

Differentialgeometrie, Topologie und Physik Matthias Delbrück

Hardcover

80.89 €

Atrapados: Cómo Liberarse de Conductas Y Personas Tóxicas Andy Farmer

Broschur

10.49 €

Hemisferios

Buch

7.19 €

Todo recto hasta el amanecer. Un giro inesperado Liz Braswell

Broschur

16.59 €

Conoce Peru Robin Johnson

Hardcover

27.20 €

Pierre des fées du Maroc

binding.

9.59 €

Le Massif Du Mont Blanc (1876) Eugene Emmanuel Viollet-Le-Duc

Broschur

31.49 €

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.§The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.

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: Foundations and Applications

Autor Marcel Vinícius Medeiros Oliveira, Jim Woodcock

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2009

Anzahl der Seiten 351

EAN 9783642104510

ISBN 3642104517

Libristo-Code 01655091

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

Gewicht 557

Abmessungen 155 x 235 x 20

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Informationsarchitektur

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

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