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 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02016931
Price: 51.59 EUR
Availability: InStock
Author: Robert Hierons
ISBN: 9783642405600

11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Robert Hierons

Mercedes G. Merayo

Mario Bravetti

Sprache

Englisch

Buch Broschur

Libristo-Code: 02016931

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2013

This book constitutes the refereed proceedings of the11th International Conference on Software Engin... Vollständige Beschreibung

Libristo-Code: 02016931

125 b

51.59 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Mercedes G-Modell

Buch

40.07 €

COUNTRY DANCES JOHN PLAYFORD

Noten

13.72 €

El ser de una mujer hechicera y su cotidianidad Carlos Restrepo

Broschur

54.21 €

Oooh, wie ist das schön! Germán Aczel

Hardcover

21.09 €

Oldenburg Iris Dahlke

Blatt

5.14 €

Fachberatung auf dem Weg zur Profession Elke Alsago

Broschur

26.54 €

EPISODIOS SOBRENATURALES EN LA GUERRA CIVIL ROMERO GARCIA

Buch

28.67 €

Mein großes Buch der Tiergeräusche

Hardcover

15.64 €

Cartas Portuguesas BARATA SILVERIO

Broschur

26.44 €

America O Canada Bhramanara Dinalipi Prakash Chandra Patra

Broschur

16.35 €

Interprétation en chinois; Aspects théoriques et méthodologies didactiques Riccardo Moratto

Hardcover

88.54 €

Alice au pays des merveilles Carroll

Broschur

9.18 €

Die heilige Barbara und der Kirschblütenzweig. Mini-Bilderbuch. Catharina Fastenmeier

Blatt

4.13 €

einfach lesen! Moby Dick. Aufgaben und Übungen Kirsten Grossmann

Broschur

11.30 €

Wanderjahre in Italien Ferdinand Gregorovius

Hardcover

22.30 €

Le Lai de Lanval Marie de France

Broschur

5.75 €

Liberte de la Presse. Proces de M. Bertin Aine, Redacteur En Chef Et Gerant Responsable Louis-Francois Bertin

Broschur

15.24 €

L-Architectes Heinz Wirz

Broschur

35.73 €

Informationen zur Rechtewahrnehmung im Urheberrecht Julius Mittenzwei

Broschur

47.14 €

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.

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 Software Engineering and Formal Methods

Autor Robert Hierons, Mercedes G. Merayo, Mario Bravetti

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 321

EAN 9783642405600

ISBN 3642405606

Libristo-Code 02016931

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

Gewicht 5153

Abmessungen 155 x 235 x 19

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

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

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

Fifty Years in the East Dr Farhad Daftary

Hardcover

72.99 €

Software Engineering Elvis C. Foster

Broschur

80.46 €

London's Lord Mayors Emma Hatfield

Hardcover

21.19 €

Job Mona P. Bias

Broschur

26.04 €

Brady Lake Fun Book: A Fun and Educational Book About Brady Lake Jobe Leonard

Broschur

10.79 €

Magic Molly; The Mirror Maze Trevor Forest

Broschur

6.65 €

End Times - What Is It Really About? Michael Joseph Kiser

Broschur

17.26 €

Smoker Cookbook in Texas Style: The Art of Smoking Meat with Texas BBQ, Ultimate Smoker Cookbook for Real Pitmasters, Irresistible Barbecue Recipes in Adam Jones

Broschur

20.39 €

Fairytale Danielle Steel

Broschur

8.98 €

Remembering the Osage Kid Mardi Oakley Medawar

Broschur

19.28 €

James Otiss Speech On The Writs Of Assistance, 1906 (1906) James Otiss

Broschur

22.41 €

Mountains And Molehills: Or Recollections Of A Burnt Journal (1855) Frank Marryat

Broschur

32.80 €

Wushu Shaolin Kung Fu: White Belt Sal Redner

Broschur

41.08 €

Making of Americans Gertrude Stein

Broschur

17.36 €

Repertory of Pregnancy, Parturition and Puerperium Alberto Soler-Medina

Broschur

18.77 €

Benefit Sharing Doris Schroeder

Hardcover

102.78 €

What Works in Corrections Doris Layton MacKenzie

Hardcover

148.62 €

White House is Burning Jane Sutcliffe

Hardcover

16.15 €

Introduction to Anglo-Saxon. An Anglo-Saxon Reader, With Philological Notes, A Brief Grammar, and A Vocabulary. by Francis A. March ... Francis Andrew March

Broschur

23.21 €