Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods for Components and Objects

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods for Components and Objects Frank S. de Boer
Libristo kod: 01559742
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2004
Formal methods have been applied successfully to the verification of medium-sized programs in protoc... Cijeli opis
? points 125 b
51.73 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Business Integration Mit Sap-Loesungen Andreas Hufgard / Knjiga Tvrdi uvez
common.buy 75.33 €
PARAJA MOHANTY / Knjiga Meki uvez
common.buy 25.10 €
Apprendre l'Occitan, promouvoir le <i>Patrimoine</i> RAYNAUD / Knjiga Meki uvez
common.buy 27.94 €
Top
Az eredeti alacsony FODMAP- étrend Dr. Sue Shepherd / Knjiga Meki uvez
common.buy 16.90 €
Shiloh Dusty Rhodes Audio knjiga MP3
common.buy 24.19 €
Paul Johann Anselm Feuerbach Gustav Radbruch / Knjiga Meki uvez
common.buy 53.15 €
Ghost Robert Harris / Knjiga Meki uvez
common.buy 11.84 €
Grundzüge einer Dogmatik der Straftatbestände zum Schutz von Verwaltungsrecht oder Verwaltungshandeln. Michael Heghmanns / Knjiga Meki uvez
common.buy 94.16 €
Schneewittchen und die sieben Zwerge Iain Botterill / Knjiga Tvrdi uvez
common.buy 21.46 €
Chytré karty - Anglličtina výukový kalendář / Knjiga Spiralni uvez
common.buy 7.99 €
Gra Assassins Creed Brotherhood of Venice / Knjiga binding.
common.buy 118.06 €
Eficacia de la coordinación de la ayuda: percepción de los operadores de ayuda / Knjiga Meki uvez
common.buy 44.55 €
NOWE Oblicza geografii 2. Liceum i technikum. Podręcznik. Zakres rozszerzony. Nowość 2025 Tomasz Rachwał / Knjiga Meki uvez
common.buy 17.81 €
Top
Puzzle 1000 CherryPazzi Her Majesty 31292 / Igra/Igračka Puzzle
common.buy 8.50 €
Grundlagen des Ertragsteuerrechts Marina Wilgen / Knjiga Meki uvez
common.buy 25.10 €
&#536;tiin&#538;a Revolu&#538;iei Autentice &#536;i Pa&#536;nice Stefan Dumitrescu / Knjiga Meki uvez
common.buy 44.55 €
¿JUGAMOS AL ESCONDITE? EN EL MAR LODGE / Knjiga Meki uvez
common.buy 12.14 €
Aventures sonores / Knjiga Tvrdi uvez
common.buy 5.76 €
SUITE 1600 CONCERT BAND/HARMONIE/FANFARE/ENSEMBLE DE CUIVRES JOHANN CHRISTOPH PEZ Knjiga binding.
common.buy 22.27 €
Bons baisers de l'île Legrand / Knjiga Meki uvez
common.buy 12.95 €
Poche Visuel Word Excel PowerPoint Access Outlook 2010 Maxi volume Kate Shoup / Knjiga Meki uvez
common.buy 23.99 €
Lexikologie und ihre Moeglichkeiten zur Strukturierung des Wortschatzes Claudia Fallmann / Knjiga Meki uvez
common.buy 16.19 €
Edificar una iglesia de bautizados : 50 claves Calvo Pérez / Knjiga Meki uvez
common.buy 15.89 €
Eu Vim Aqui So Pra Te Ver Leonardo Torres / Knjiga Meki uvez
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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Methods for Components and Objects
Autor Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2004
Broj stranica 371
EAN 9783540229421
ISBN 3540229426
Libristo kod 01559742
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 1200
Dimenzije 155 x 235 x 21

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Solanaceae and Convolvulaceae: Secondary Metabolites Eckart Eich / Knjiga Tvrdi uvez
common.buy 339.52 €
Popol Vuh: The Mythic and Heroic Sagas of the Kiches of Central America Lewis Spence / Knjiga Meki uvez
common.buy 22.17 €
The Predictive Airliner: A Blueprint for Aviation's 2nd Century MR Andrew W Pearson / Knjiga Meki uvez
common.buy 15.18 €
Narratives, Routes and Intersections in Pre-Modern Asia Radhika Seshan / Knjiga Meki uvez
common.buy 63.08 €
History of the World in 21 Women Jenni Murray / Knjiga Meki uvez
common.buy 10.82 €
Ending Homelessness? Eoin O'Sullivan / Knjiga Tvrdi uvez
common.buy 112.29 €
Word Is Near You PETER M. B ROBINSON / Knjiga Meki uvez
common.buy 14.27 €
Adela's Dilemma ***Large Print Edition***: The Royals of Abrifae Victoria Hart / Knjiga Meki uvez
common.buy 18.12 €
Transform Silos to Pillars: Moving from Hate to Help David Porter / Knjiga Meki uvez
common.buy 14.88 €
CHRISTIAN WAY OF LIFE Applying God's Word More Fully (October 2014) Edward D Andrews / Knjiga Meki uvez
common.buy 12.14 €
The Life of Lyman Trumbull Horace White / Knjiga Meki uvez
common.buy 10.32 €
The Language of Heresy in Late Medieval English Literature Erin K. Wagner / Knjiga Tvrdi uvez
common.buy 141.55 €
In Their Own Words: First Person Narratives from The Book of Genesis Dustin A Largent / Knjiga Meki uvez
common.buy 10.32 €
Close to Home Jeremy Asher / Knjiga Meki uvez
common.buy 10.32 €
Promise of Moonstone Mrs Pat Engebrecht / Knjiga Meki uvez
common.buy 9.91 €
Universal Dictionary of the Marine William Falconer / Knjiga Meki uvez
common.buy 27.74 €
Value Creation through Engineering Excellence Yufeng Zhang / Knjiga Tvrdi uvez
common.buy 170.11 €
Lady Jayne Disappears Joanna Davidson Politano / Knjiga Meki uvez
common.buy 19.33 €
Critical, Historical, and Explanatory Notes on Shakespeare Zachary Grey / Knjiga Tvrdi uvez
common.buy 38.27 €
Yellowstone, The; 1954 Rocky Mountain College / Knjiga Meki uvez
common.buy 16.50 €
Mind of Everyday Petraq Papajorgji / E-knjiga Adobe ePub DRM
common.buy 167.68 €
Impacts of plant protection products on biodiversity and ecosystem services Sanchez / Knjiga Knjiga
common.buy 35.13 €
Hellion Arianna Fraser / Knjiga Meki uvez
common.buy 13.76 €
How NOT to Murder your ADHD Kid Sarah Templeton / Knjiga Meki uvez
common.buy 28.04 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?