Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Methods for Components and Objects

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

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods for Components and Objects Frank S. de Boer
Codul Libristo: 01559742
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2004
Formal methods have been applied successfully to the verification of medium-sized programs in protoc... Descrierea completă
? points 132 b
286.33 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Business Integration Mit Sap-Loesungen Andreas Hufgard / Carte Copertă tare
common.buy 414.74 lei
Shiloh Dusty Rhodes Audiobook MP3
common.buy 132.15 lei
Chytré karty - Anglličtina výukový kalendář / Carte Cu spiră
common.buy 44.77 lei
Gra Assassins Creed Brotherhood of Venice / Carte binding.
common.buy 704.73 lei
Schneewittchen und die sieben Zwerge Iain Botterill / Carte Copertă tare
common.buy 119.73 lei
Apprendre l'Occitan, promouvoir le <i>Patrimoine</i> RAYNAUD / Carte Carte broșată
common.buy 156.05 lei
Eu Vim Aqui So Pra Te Ver Leonardo Torres / Carte Carte broșată
common.buy 46.76 lei
PARAJA MOHANTY / Carte Carte broșată
common.buy 145.62 lei
Top
Az eredeti alacsony FODMAP- étrend Dr. Sue Shepherd / Carte Carte broșată
common.buy 64.08 lei
Aventures sonores / Carte Copertă tare
common.buy 33.92 lei
&#536;tiin&#538;a Revolu&#538;iei Autentice &#536;i Pa&#536;nice Stefan Dumitrescu / Carte Carte broșată
common.buy 247.82 lei
¿JUGAMOS AL ESCONDITE? EN EL MAR LODGE / Carte Carte broșată
common.buy 71.29 lei
Bons baisers de l'île Legrand / Carte Carte broșată
common.buy 71.92 lei
Die Globale Herausforderung Gerhard Preyer / Carte Carte broșată
common.buy 199.79 lei
Grundzüge einer Dogmatik der Straftatbestände zum Schutz von Verwaltungsrecht oder Verwaltungshandeln. Michael Heghmanns / Carte Carte broșată
common.buy 470.17 lei
Ghost Robert Harris / Carte Carte broșată
common.buy 65.65 lei
Imperialkriege von 1500 bis heute Tanja Bührer / Carte Copertă tare
common.buy 775.83 lei
UEberschuldungsstatus und die Rolle kapitalersetzender Darlehen Philip Eugen Deubner / Carte Carte broșată
common.buy 95.19 lei
Grundlagen des Ertragsteuerrechts Marina Wilgen / Carte Carte broșată
common.buy 139.56 lei
Lexikologie und ihre Moeglichkeiten zur Strukturierung des Wortschatzes Claudia Fallmann / Carte Carte broșată
common.buy 89.97 lei
Paul Johann Anselm Feuerbach Gustav Radbruch / Carte Carte broșată
common.buy 294.17 lei
Ellos Conocieron a Su Dios Volumen 1 EDWIN F HARVEY / Carte Carte broșată
common.buy 85.59 lei
Esprit Des Philosophes Et Des Ecrivains Celebres de Ce Siecle Pierres De Gomicourt Augustin-Damien / Carte Carte broșată
common.buy 144.36 lei
Recherches Pratiques Sur Les Principales Difformites Du Corps Humain Et Sur Les Moyens d'y Remedier Jalade-LaFond-G / Carte Carte broșată
common.buy 96.34 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Methods for Components and Objects
Autor Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Limba engleză
Legare Carte - Carte broșată
Data publicării 2004
Număr pagini 371
EAN 9783540229421
ISBN 3540229426
Codul Libristo 01559742
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1200
Dimensiuni 155 x 235 x 21

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Solanaceae and Convolvulaceae: Secondary Metabolites Eckart Eich / Carte Copertă tare
common.buy 1 880.81 lei
Promise of Moonstone Mrs Pat Engebrecht / Carte Carte broșată
common.buy 54.59 lei
Popol Vuh: The Mythic and Heroic Sagas of the Kiches of Central America Lewis Spence / Carte Carte broșată
common.buy 122.34 lei
Universal Dictionary of the Marine William Falconer / Carte Carte broșată
common.buy 154.07 lei
Value Creation through Engineering Excellence Yufeng Zhang / Carte Copertă tare
common.buy 940.87 lei
Contested Antiquity Alexandra Bounia / Carte Copertă tare
common.buy 658.28 lei
Lady Jayne Disappears Joanna Davidson Politano / Carte Carte broșată
common.buy 106.99 lei
Critical, Historical, and Explanatory Notes on Shakespeare Zachary Grey / Carte Copertă tare
common.buy 211.07 lei
Avery Lindsay Anderson / Carte Carte broșată
common.buy 82.15 lei
Brinley's Reading Log Martha Day Zschock / Carte Carte broșată
common.buy 46.97 lei
An Accidental Journalist: The Adventures of Edmund Stevens, 1934-1945 Cheryl Heckler / Carte Copertă tare
common.buy 293.43 lei
Cat and Mouse Günter Grass / Carte Carte broșată
common.buy 68.68 lei
Doing Economics Marc F. Bellemare / Carte Carte broșată
common.buy 165.87 lei
GED Study Guide 2022 All Subjects - GED Prep Book Secrets, 3 Full-Length Practice Tests, Step-by-Step Review Video Tutorials: [Certified Content Align / Carte Carte broșată
common.buy 163.26 lei
German Literature, History and the Nation Christian Emden / Carte Carte broșată
common.buy 515.16 lei
Language Reform - La reforme des langues - Sprachreform / Language Reform - La reforme des langues - Sprachreform Volume V ISTV N FODOR / Carte Copertă tare
common.buy 616.73 lei
Close to Home Jeremy Asher / Carte Carte broșată
common.buy 57.20 lei
Pocket Reference to Osteoporosis Serge Livio Ferrari / Carte Carte broșată
common.buy 224.53 lei
The Life of Lyman Trumbull Horace White / Carte Carte broșată
common.buy 57.20 lei
CHRISTIAN WAY OF LIFE Applying God's Word More Fully (October 2014) Edward D Andrews / Carte Carte broșată
common.buy 66.90 lei
What Every Singer Should Know (1910) Millie Ryan / Carte Carte broșată
common.buy 98.95 lei
The Little Brown House On The Albany Road (1915) George Sheldon / Carte Carte broșată
common.buy 111.90 lei
Adela's Dilemma ***Large Print Edition***: The Royals of Abrifae Victoria Hart / Carte Carte broșată
common.buy 99.79 lei
Word Is Near You PETER M. B ROBINSON / Carte Carte broșată
common.buy 79.95 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo