Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01559742

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, október 2004

Formal methods have been applied successfully to the verification of medium-sized programs in protoc... Celý popis

Libristo kód: 01559742

125 b

51.56 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Business Integration Mit Sap-Loesungen Andreas Hufgard

Pevná

75.08 €

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

Brožovaná

18.56 €

Puzzle 1000 Soumrak nad Tower Bridge neon

Puzzle

15.43 €

Gra Assassins Creed Brotherhood of Venice

binding.

135.23 €

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

Krúžková

7.46 €

Heaven Official's Blessing Animation Manhua 01 BeDream

Brožovaná

13.51 €

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

Brožovaná

93.85 €

Ghost Robert Harris

Brožovaná

11.80 €

Puzzle 1000 CherryPazzi Her Majesty 31292

Puzzle

8.47 €

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

Brožovaná

26.13 €

Az eredeti alacsony FODMAP- étrend Dr. Sue Shepherd

Brožovaná

16.34 €

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

Brožovaná

33.09 €

Aprender Office 2010 con 100 ejercicios practicos MEDIAactive

Adobe ePub DRM

8.77 €

Shiloh Dusty Rhodes Audiokniha

MP3

25.22 €

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

Brožovaná

17.45 €

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

Brožovaná

22.80 €

Raimondo di Sangro. Vita e leggenda del Principe di Sansevero Fabio Colonna

Brožovaná

14.12 €

Paul Johann Anselm Feuerbach Gustav Radbruch

Brožovaná

52.98 €

¿JUGAMOS AL ESCONDITE? EN EL MAR LODGE

Brožovaná

13.41 €

Knedlíky Jarmila Mandžuková

Brožovaná

4.83 €

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.