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 for Components and Objects

Name: Formal Methods for Components and Objects
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559742
Price: 51.09 EUR
Availability: InStock
Author: Frank S. de Boer
ISBN: 9783540229421

Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003

Frank S. de Boer

Marcello M. Bonsangue

Susanne Graf

Sprache

Englisch

Buch Broschur

Libristo-Code: 01559742

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

Formal methods have been applied successfully to the verification of medium-sized programs in protoc... Vollständige Beschreibung

Libristo-Code: 01559742

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Business Integration Mit Sap-Loesungen Andreas Hufgard

Hardcover

69.99 €

PARAJA MOHANTY

Broschur

24.79 €

Apprendre l'Occitan, promouvoir le <i>Patrimoine</i> RAYNAUD

Broschur

22.39 €

Az eredeti alacsony FODMAP- étrend Dr. Sue Shepherd

Broschur

15.29 €

Shiloh Dusty Rhodes Hörbuch

MP3

26.39 €

Paul Johann Anselm Feuerbach Gustav Radbruch

Broschur

54.99 €

Ghost Robert Harris

Broschur

13.00 €

Grundzüge einer Dogmatik der Straftatbestände zum Schutz von Verwaltungsrecht oder Verwaltungshandeln. Michael Heghmanns

Broschur

99.90 €

Schneewittchen und die sieben Zwerge Iain Botterill

Hardcover

23.95 €

Chytré karty - Anglličtina výukový kalendář

Ring

7.89 €

Gra Assassins Creed Brotherhood of Venice

binding.

95.69 €

Eficacia de la coordinación de la ayuda: percepción de los operadores de ayuda

Broschur

46.59 €

NOWE Oblicza geografii 2. Liceum i technikum. Podręcznik. Zakres rozszerzony. Nowość 2025 Tomasz Rachwał

Broschur

14.99 €

Puzzle 1000 CherryPazzi Her Majesty 31292

Puzzle

6.99 €

Grundlagen des Ertragsteuerrechts Marina Wilgen

Broschur

27.95 €

ȘtiinȚa RevoluȚiei Autentice Și PaȘnice Stefan Dumitrescu

Broschur

43.99 €

¿JUGAMOS AL ESCONDITE? EN EL MAR LODGE

Broschur

11.99 €

Aventures sonores

Hardcover

5.59 €

SUITE 1600 CONCERT BAND/HARMONIE/FANFARE/ENSEMBLE DE CUIVRES JOHANN CHRISTOPH PEZ Buch

binding.

18.99 €

Bons baisers de l'île Legrand

Broschur

10.99 €

Poche Visuel Word Excel PowerPoint Access Outlook 2010 Maxi volume Kate Shoup

Broschur

20.39 €

Lexikologie und ihre Moeglichkeiten zur Strukturierung des Wortschatzes Claudia Fallmann

Broschur

17.95 €

Edificar una iglesia de bautizados : 50 claves Calvo Pérez

Broschur

15.69 €

Eu Vim Aqui So Pra Te Ver Leonardo Torres

Broschur

7.09 €

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability.This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

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 for Components and Objects

Autor Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2004

Anzahl der Seiten 371

EAN 9783540229421

ISBN 3540229426

Libristo-Code 01559742

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

Gewicht 1200

Abmessungen 155 x 235 x 21

Kategorie

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