Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 19902 HUF
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

Language

English

Book Paperback

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

Libristo code: 01559742

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Business Integration Mit Sap-Loesungen Andreas Hufgard

Hardback

28 725 Ft

Shiloh Dusty Rhodes Audiobook

MP3

8 897 Ft

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

Spiral bound

2 944 Ft

Gra Assassins Creed Brotherhood of Venice

binding.

47 517 Ft

Schneewittchen und die sieben Zwerge Iain Botterill

Hardback

8 338 Ft

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

Paperback

10 903 Ft

Eu Vim Aqui So Pra Te Ver Leonardo Torres

Paperback

3 254 Ft

PARAJA MOHANTY

Paperback

9 821 Ft

Az eredeti alacsony FODMAP- étrend Dr. Sue Shepherd

Paperback

4 744 Ft

Aventures sonores

Hardback

2 288 Ft

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

Paperback

17 267 Ft

¿JUGAMOS AL ESCONDITE? EN EL MAR LODGE

Paperback

4 807 Ft

Bons baisers de l'île Legrand

Paperback

4 853 Ft

Die Globale Herausforderung Gerhard Preyer

Paperback

13 893 Ft

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

Paperback

32 700 Ft

Ghost Robert Harris

Paperback

4 571 Ft

Imperialkriege von 1500 bis heute Tanja Bührer

Hardback

53 526 Ft

UEberschuldungsstatus und die Rolle kapitalersetzender Darlehen Philip Eugen Deubner

Paperback

6 637 Ft

Grundlagen des Ertragsteuerrechts Marina Wilgen

Paperback

9 715 Ft

Lexikologie und ihre Moeglichkeiten zur Strukturierung des Wortschatzes Claudia Fallmann

Paperback

6 272 Ft

Paul Johann Anselm Feuerbach Gustav Radbruch

Paperback

20 447 Ft

Ellos Conocieron a Su Dios Volumen 1 EDWIN F HARVEY

Paperback

5 934 Ft

Esprit Des Philosophes Et Des Ecrivains Celebres de Ce Siecle Pierres De Gomicourt Augustin-Damien

Paperback

9 997 Ft

Recherches Pratiques Sur Les Principales Difformites Du Corps Humain Et Sur Les Moyens d'y Remedier Jalade-LaFond-G

Paperback

6 669 Ft

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

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

You might also be interested in

Solanaceae and Convolvulaceae: Secondary Metabolites Eckart Eich

Hardback

130 720 Ft

Promise of Moonstone Mrs Pat Engebrecht

Paperback

3 795 Ft

Popol Vuh: The Mythic and Heroic Sagas of the Kiches of Central America Lewis Spence

Paperback

8 472 Ft

Universal Dictionary of the Marine William Falconer

Paperback

10 727 Ft

Value Creation through Engineering Excellence Yufeng Zhang

Hardback

65 326 Ft

Contested Antiquity Alexandra Bounia

Hardback

45 419 Ft

Lady Jayne Disappears Joanna Davidson Politano

Paperback

7 432 Ft

Critical, Historical, and Explanatory Notes on Shakespeare Zachary Grey

Hardback

14 628 Ft

Avery Lindsay Anderson

Paperback

5 703 Ft

Brinley's Reading Log Martha Day Zschock

Paperback

3 282 Ft

An Accidental Journalist: The Adventures of Edmund Stevens, 1934-1945 Cheryl Heckler

Hardback

20 285 Ft

Cat and Mouse Günter Grass

Paperback

4 779 Ft

Doing Economics Marc F. Bellemare

Paperback

11 185 Ft

GED Study Guide 2022 All Subjects - GED Prep Book Secrets, 3 Full-Length Practice Tests, Step-by-Step Review Video Tutorials: [Certified Content Align

Paperback

11 361 Ft