Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Methods for Components and Objects

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal Methods for Components and Objects Frank S. de Boer
Koda Libristo: 01559742
Založba 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... Celoten opis
? points 118 b
48.91 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Business Integration Mit Sap-Loesungen Andreas Hufgard / Knjiga Trda
common.buy 71.80 €
Shiloh Dusty Rhodes Zvočnica MP3
common.buy 22.47 €
Chytré karty - Anglličtina výukový kalendář / Knjiga Spiralna
common.buy 7.48 €
Gra Assassins Creed Brotherhood of Venice / Knjiga binding.
common.buy 120.11 €
Schneewittchen und die sieben Zwerge Iain Botterill / Knjiga Trda
common.buy 20.25 €
Apprendre l'Occitan, promouvoir le <i>Patrimoine</i> RAYNAUD / Knjiga Mehka
common.buy 26.22 €
Eu Vim Aqui So Pra Te Ver Leonardo Torres / Knjiga Mehka
common.buy 7.99 €
PARAJA MOHANTY / Knjiga Mehka
common.buy 25.21 €
Top
Az eredeti alacsony FODMAP- étrend Dr. Sue Shepherd / Knjiga Mehka
common.buy 10.83 €
Aventures sonores / Knjiga Trda
common.buy 5.86 €
&#536;tiin&#538;a Revolu&#538;iei Autentice &#536;i Pa&#536;nice Stefan Dumitrescu / Knjiga Mehka
common.buy 41.92 €
¿JUGAMOS AL ESCONDITE? EN EL MAR LODGE / Knjiga Mehka
common.buy 12.24 €
Bons baisers de l'île Legrand / Knjiga Mehka
common.buy 12.45 €
Die Globale Herausforderung Gerhard Preyer / Knjiga Mehka
common.buy 34.02 €
Grundzüge einer Dogmatik der Straftatbestände zum Schutz von Verwaltungsrecht oder Verwaltungshandeln. Michael Heghmanns / Knjiga Mehka
common.buy 80.10 €
Ghost Robert Harris / Knjiga Mehka
common.buy 11.13 €
Imperialkriege von 1500 bis heute Tanja Bührer / Knjiga Trda
common.buy 136.11 €
UEberschuldungsstatus und die Rolle kapitalersetzender Darlehen Philip Eugen Deubner / Knjiga Mehka
common.buy 16.09 €
Grundlagen des Ertragsteuerrechts Marina Wilgen / Knjiga Mehka
common.buy 23.59 €
Lexikologie und ihre Moeglichkeiten zur Strukturierung des Wortschatzes Claudia Fallmann / Knjiga Mehka
common.buy 15.28 €
Paul Johann Anselm Feuerbach Gustav Radbruch / Knjiga Mehka
common.buy 50.23 €
Ellos Conocieron a Su Dios Volumen 1 EDWIN F HARVEY / Knjiga Mehka
common.buy 14.78 €
Esprit Des Philosophes Et Des Ecrivains Celebres de Ce Siecle Pierres De Gomicourt Augustin-Damien / Knjiga Mehka
common.buy 25.11 €
Recherches Pratiques Sur Les Principales Difformites Du Corps Humain Et Sur Les Moyens d'y Remedier Jalade-LaFond-G / Knjiga Mehka
common.buy 16.60 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal Methods for Components and Objects
Avtor Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2004
Število strani 371
EAN 9783540229421
ISBN 3540229426
Koda Libristo 01559742
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 1200
Mere 155 x 235 x 21

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Solanaceae and Convolvulaceae: Secondary Metabolites Eckart Eich / Knjiga Trda
common.buy 321.26 €
Promise of Moonstone Mrs Pat Engebrecht / Knjiga Mehka
common.buy 9.41 €
Popol Vuh: The Mythic and Heroic Sagas of the Kiches of Central America Lewis Spence / Knjiga Mehka
common.buy 21.16 €
Universal Dictionary of the Marine William Falconer / Knjiga Mehka
common.buy 26.02 €
Value Creation through Engineering Excellence Yufeng Zhang / Knjiga Trda
common.buy 161.23 €
Contested Antiquity Alexandra Bounia / Knjiga Trda
common.buy 115.55 €
Lady Jayne Disappears Joanna Davidson Politano / Knjiga Mehka
common.buy 18.42 €
Critical, Historical, and Explanatory Notes on Shakespeare Zachary Grey / Knjiga Trda
common.buy 36.45 €
Avery Lindsay Anderson / Knjiga Mehka
common.buy 14.07 €
Brinley's Reading Log Martha Day Zschock / Knjiga Mehka
common.buy 7.89 €
An Accidental Journalist: The Adventures of Edmund Stevens, 1934-1945 Cheryl Heckler / Knjiga Trda
common.buy 51.14 €
Cat and Mouse Günter Grass / Knjiga Mehka
common.buy 11.64 €
Doing Economics Marc F. Bellemare / Knjiga Mehka
common.buy 28.15 €
GED Study Guide 2022 All Subjects - GED Prep Book Secrets, 3 Full-Length Practice Tests, Step-by-Step Review Video Tutorials: [Certified Content Align / Knjiga Mehka
common.buy 27.84 €
German Literature, History and the Nation Christian Emden / Knjiga Mehka
common.buy 98.03 €
Language Reform - La reforme des langues - Sprachreform / Language Reform - La reforme des langues - Sprachreform Volume V ISTV N FODOR / Knjiga Trda
common.buy 105.02 €
Close to Home Jeremy Asher / Knjiga Mehka
common.buy 9.81 €
Pocket Reference to Osteoporosis Serge Livio Ferrari / Knjiga Mehka
common.buy 38.27 €
The Life of Lyman Trumbull Horace White / Knjiga Mehka
common.buy 9.81 €
CHRISTIAN WAY OF LIFE Applying God's Word More Fully (October 2014) Edward D Andrews / Knjiga Mehka
common.buy 11.54 €
What Every Singer Should Know (1910) Millie Ryan / Knjiga Mehka
common.buy 17.21 €
The Little Brown House On The Albany Road (1915) George Sheldon / Knjiga Mehka
common.buy 19.33 €
Adela's Dilemma ***Large Print Edition***: The Royals of Abrifae Victoria Hart / Knjiga Mehka
common.buy 17.21 €
Word Is Near You PETER M. B ROBINSON / Knjiga Mehka
common.buy 13.46 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?