Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

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.38 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

Taal

Engels

Boek Paperback

Libristo-code: 01559742

Uitgeverij 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... Volledige beschrijving

Libristo-code: 01559742

125 b

51.38 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Business Integration Mit Sap-Loesungen Andreas Hufgard

Gebonden

77.43 €

Puzzle 1000 CherryPazzi Her Majesty 31292

Puzzel

10.55 €

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

Paperback

17.99 €

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

Ringband

7.94 €

Heaven Official's Blessing Animation Manhua 01 BeDream

Paperback

13.47 €

Ghost Robert Harris

Paperback

11.76 €

Auch eine Geschichte der Philosophie Jürgen Habermas

Gebonden

86.69 €

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

Paperback

27.75 €

Az eredeti alacsony FODMAP- étrend Dr. Sue Shepherd

Paperback

12.76 €

Libertad liberadora : para una nueva formulación de la cristología y la soteriología Emilio J. Justo Domínguez

Paperback

32.88 €

El gran libro del pollo Pepe Nick Denchfield

Paperback

15.68 €

Ciudades creativas : cultura, territorio, economía y ciudad Félix Manito Lorite

Paperback

22.72 €

Paul Johann Anselm Feuerbach Gustav Radbruch

Paperback

52.79 €

¿JUGAMOS AL ESCONDITE? EN EL MAR LODGE

Paperback

13.27 €

Knedlíky Jarmila Mandžuková

Paperback

6.02 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods for Components and Objects

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

Taal

Engels

Bindwijze Boek - Paperback

Datum van uitgifte 2004

Aantal pagina's 371

EAN 9783540229421

ISBN 3540229426

Libristo-code 01559742

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

Gewicht 1200

Afmetingen 155 x 235 x 21

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger