Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Methods for Components and Objects

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods for Components and Objects Frank S. de Boer
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
? points 125 b
51.63 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Business Integration Mit Sap-Loesungen Andreas Hufgard / Boek Gebonden (harde band)
common.buy 82.35 €
Shiloh Dusty Rhodes Luisterboek MP3
common.buy 25.05 €
Chytré karty - Anglličtina výukový kalendář / Boek Ringband
common.buy 7.97 €
Gra Assassins Creed Brotherhood of Venice / Boek binding.
common.buy 133.88 €
Schneewittchen und die sieben Zwerge Iain Botterill / Boek Gebonden (harde band)
common.buy 21.41 €
Apprendre l'Occitan, promouvoir le <i>Patrimoine</i> RAYNAUD / Boek Gebonden (paperback)
common.buy 27.88 €
Eu Vim Aqui So Pra Te Ver Leonardo Torres / Boek Gebonden (paperback)
common.buy 8.48 €
PARAJA MOHANTY / Boek Gebonden (paperback)
common.buy 27.68 €
TOP
Az eredeti alacsony FODMAP- étrend Dr. Sue Shepherd / Boek Gebonden (paperback)
common.buy 12.22 €
Aventures sonores / Boek Gebonden (harde band)
common.buy 6.46 €
&#536;tiin&#538;a Revolu&#538;iei Autentice &#536;i Pa&#536;nice Stefan Dumitrescu / Boek Gebonden (paperback)
common.buy 44.45 €
¿JUGAMOS AL ESCONDITE? EN EL MAR LODGE / Boek Gebonden (paperback)
common.buy 13.53 €
Bons baisers de l'île Legrand / Boek Gebonden (paperback)
common.buy 13.63 €
Die Globale Herausforderung Gerhard Preyer / Boek Gebonden (paperback)
common.buy 35.86 €
Grundzüge einer Dogmatik der Straftatbestände zum Schutz von Verwaltungsrecht oder Verwaltungshandeln. Michael Heghmanns / Boek Gebonden (paperback)
common.buy 84.67 €
Ghost Robert Harris / Boek Gebonden (paperback)
common.buy 11.81 €
Imperialkriege von 1500 bis heute Tanja Bührer / Boek Gebonden (harde band)
common.buy 141.56 €
UEberschuldungsstatus und die Rolle kapitalersetzender Darlehen Philip Eugen Deubner / Boek Gebonden (paperback)
common.buy 17.07 €
Grundlagen des Ertragsteuerrechts Marina Wilgen / Boek Gebonden (paperback)
common.buy 25.05 €
Lexikologie und ihre Moeglichkeiten zur Strukturierung des Wortschatzes Claudia Fallmann / Boek Gebonden (paperback)
common.buy 16.16 €
Paul Johann Anselm Feuerbach Gustav Radbruch / Boek Gebonden (paperback)
common.buy 53.04 €
Ellos Conocieron a Su Dios Volumen 1 EDWIN F HARVEY / Boek Gebonden (paperback)
common.buy 15.55 €
Esprit Des Philosophes Et Des Ecrivains Celebres de Ce Siecle Pierres De Gomicourt Augustin-Damien / Boek Gebonden (paperback)
common.buy 26.16 €
Recherches Pratiques Sur Les Principales Difformites Du Corps Humain Et Sur Les Moyens d'y Remedier Jalade-LaFond-G / Boek Gebonden (paperback)
common.buy 17.37 €

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
Ewa Kasp
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 - Gebonden (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

Dit vind je misschien ook interessant

Solanaceae and Convolvulaceae: Secondary Metabolites Eckart Eich / Boek Gebonden (harde band)
common.buy 338.82 €
Promise of Moonstone Mrs Pat Engebrecht / Boek Gebonden (paperback)
common.buy 9.89 €
Popol Vuh: The Mythic and Heroic Sagas of the Kiches of Central America Lewis Spence / Boek Gebonden (paperback)
common.buy 22.12 €
Universal Dictionary of the Marine William Falconer / Boek Gebonden (paperback)
common.buy 27.68 €
Value Creation through Engineering Excellence Yufeng Zhang / Boek Gebonden (harde band)
common.buy 169.76 €
Contested Antiquity Alexandra Bounia / Boek Gebonden (harde band)
common.buy 120.14 €
Lady Jayne Disappears Joanna Davidson Politano / Boek Gebonden (paperback)
common.buy 19.29 €
Critical, Historical, and Explanatory Notes on Shakespeare Zachary Grey / Boek Gebonden (harde band)
common.buy 38.19 €
Avery Lindsay Anderson / Boek Gebonden (paperback)
common.buy 14.84 €
Brinley's Reading Log Martha Day Zschock / Boek Gebonden (paperback)
common.buy 8.38 €
An Accidental Journalist: The Adventures of Edmund Stevens, 1934-1945 Cheryl Heckler / Boek Gebonden (harde band)
common.buy 53.35 €
Cat and Mouse Günter Grass / Boek Gebonden (paperback)
common.buy 12.32 €
Doing Economics Marc F. Bellemare / Boek Gebonden (paperback)
common.buy 31.52 €
GED Study Guide 2022 All Subjects - GED Prep Book Secrets, 3 Full-Length Practice Tests, Step-by-Step Review Video Tutorials: [Certified Content Align / Boek Gebonden (paperback)
common.buy 29.40 €
German Literature, History and the Nation Christian Emden / Boek Gebonden (paperback)
common.buy 103.27 €
Language Reform - La reforme des langues - Sprachreform / Language Reform - La reforme des langues - Sprachreform Volume V ISTV N FODOR / Boek Gebonden (harde band)
common.buy 110.95 €
Close to Home Jeremy Asher / Boek Gebonden (paperback)
common.buy 10.30 €
Pocket Reference to Osteoporosis Serge Livio Ferrari / Boek Gebonden (paperback)
common.buy 40.41 €
The Life of Lyman Trumbull Horace White / Boek Gebonden (paperback)
common.buy 10.30 €
CHRISTIAN WAY OF LIFE Applying God's Word More Fully (October 2014) Edward D Andrews / Boek Gebonden (paperback)
common.buy 12.12 €
What Every Singer Should Know (1910) Millie Ryan / Boek Gebonden (paperback)
common.buy 17.98 €
The Little Brown House On The Albany Road (1915) George Sheldon / Boek Gebonden (paperback)
common.buy 20.30 €
Adela's Dilemma ***Large Print Edition***: The Royals of Abrifae Victoria Hart / Boek Gebonden (paperback)
common.buy 18.08 €
Word Is Near You PETER M. B ROBINSON / Boek Gebonden (paperback)
common.buy 14.24 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken