Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Formal Methods for Components and Objects

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

Language EnglishEnglish
Book Paperback
Book Formal Methods for Components and Objects Frank S. de Boer
Libristo code: 01559742
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2004
Formal methods have been applied successfully to the verification of medium-sized programs in protoc... Full description
? points 125 b
51.78 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Business Integration Mit Sap-Loesungen Andreas Hufgard / Book Hardback
common.buy 78.94 €
PARAJA MOHANTY / Book Paperback
common.buy 25.12 €
Apprendre l'Occitan, promouvoir le <i>Patrimoine</i> RAYNAUD / Book Paperback
common.buy 27.96 €
Top
Az eredeti alacsony FODMAP- étrend Dr. Sue Shepherd / Book Paperback
common.buy 17.62 €
Shiloh Dusty Rhodes Audiobook MP3
common.buy 25.63 €
Paul Johann Anselm Feuerbach Gustav Radbruch / Book Paperback
common.buy 53.20 €
Ghost Robert Harris / Book Paperback
common.buy 11.85 €
Grundzüge einer Dogmatik der Straftatbestände zum Schutz von Verwaltungsrecht oder Verwaltungshandeln. Michael Heghmanns / Book Paperback
common.buy 94.24 €
Schneewittchen und die sieben Zwerge Iain Botterill / Book Hardback
common.buy 21.48 €
Chytré karty - Anglličtina výukový kalendář / Book Spiral bound
common.buy 8.00 €
Gra Assassins Creed Brotherhood of Venice / Book binding.
common.buy 125.15 €
Eficacia de la coordinación de la ayuda: percepción de los operadores de ayuda / Book Paperback
common.buy 44.58 €
NOWE Oblicza geografii 2. Liceum i technikum. Podręcznik. Zakres rozszerzony. Nowość 2025 Tomasz Rachwał / Book Paperback
common.buy 18.64 €
Top
Puzzle 1000 CherryPazzi Her Majesty 31292 / Game/Toy Jigsaw puzzle
common.buy 9.01 €
Grundlagen des Ertragsteuerrechts Marina Wilgen / Book Paperback
common.buy 25.12 €
&#536;tiin&#538;a Revolu&#538;iei Autentice &#536;i Pa&#536;nice Stefan Dumitrescu / Book Paperback
common.buy 44.58 €
¿JUGAMOS AL ESCONDITE? EN EL MAR LODGE / Book Paperback
common.buy 12.15 €
Aventures sonores / Book Hardback
common.buy 5.77 €
SUITE 1600 CONCERT BAND/HARMONIE/FANFARE/ENSEMBLE DE CUIVRES JOHANN CHRISTOPH PEZ Book binding.
common.buy 23.30 €
Bons baisers de l'île Legrand / Book Paperback
common.buy 13.57 €
Poche Visuel Word Excel PowerPoint Access Outlook 2010 Maxi volume Kate Shoup / Book Paperback
common.buy 25.12 €
Lexikologie und ihre Moeglichkeiten zur Strukturierung des Wortschatzes Claudia Fallmann / Book Paperback
common.buy 16.21 €
Edificar una iglesia de bautizados : 50 claves Calvo Pérez / Book Paperback
common.buy 15.90 €
Eu Vim Aqui So Pra Te Ver Leonardo Torres / Book Paperback
common.buy 8.50 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods for Components and Objects
Author Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Language English
Binding Book - Paperback
Date of issue 2004
Number of pages 371
EAN 9783540229421
ISBN 3540229426
Libristo code 01559742
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1200
Dimensions 155 x 235 x 21

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Solanaceae and Convolvulaceae: Secondary Metabolites Eckart Eich / Book Hardback
common.buy 339.80 €
Popol Vuh: The Mythic and Heroic Sagas of the Kiches of Central America Lewis Spence / Book Paperback
common.buy 22.18 €
The Predictive Airliner: A Blueprint for Aviation's 2nd Century MR Andrew W Pearson / Book Paperback
common.buy 15.19 €
Narratives, Routes and Intersections in Pre-Modern Asia Radhika Seshan / Book Paperback
common.buy 65.97 €
History of the World in 21 Women Jenni Murray / Book Paperback
common.buy 10.83 €
Ending Homelessness? Eoin O'Sullivan / Book Hardback
common.buy 117.55 €
Word Is Near You PETER M. B ROBINSON / Book Paperback
common.buy 14.28 €
Adela's Dilemma ***Large Print Edition***: The Royals of Abrifae Victoria Hart / Book Paperback
common.buy 18.13 €
Transform Silos to Pillars: Moving from Hate to Help David Porter / Book Paperback
common.buy 14.89 €
CHRISTIAN WAY OF LIFE Applying God's Word More Fully (October 2014) Edward D Andrews / Book Paperback
common.buy 12.15 €
The Life of Lyman Trumbull Horace White / Book Paperback
common.buy 10.33 €
The Language of Heresy in Late Medieval English Literature Erin K. Wagner / Book Hardback
common.buy 141.67 €
In Their Own Words: First Person Narratives from The Book of Genesis Dustin A Largent / Book Paperback
common.buy 10.33 €
Close to Home Jeremy Asher / Book Paperback
common.buy 10.33 €
Promise of Moonstone Mrs Pat Engebrecht / Book Paperback
common.buy 9.92 €
Universal Dictionary of the Marine William Falconer / Book Paperback
common.buy 27.76 €
Value Creation through Engineering Excellence Yufeng Zhang / Book Hardback
common.buy 170.25 €
Lady Jayne Disappears Joanna Davidson Politano / Book Paperback
common.buy 19.35 €
Critical, Historical, and Explanatory Notes on Shakespeare Zachary Grey / Book Hardback
common.buy 38.30 €
Yellowstone, The; 1954 Rocky Mountain College / Book Paperback
common.buy 16.51 €
Mind of Everyday Petraq Papajorgji / E-book Adobe ePub DRM
common.buy 176.23 €
Impacts of plant protection products on biodiversity and ecosystem services Sanchez / Book Book
common.buy 36.78 €
Hellion Arianna Fraser / Book Paperback
common.buy 13.77 €
How NOT to Murder your ADHD Kid Sarah Templeton / Book Paperback
common.buy 28.06 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?