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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.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

5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

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

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Na známosť sa dáva Zuzana Martišková / Carte Copertă tare
common.buy 53.08 lei
Levante. Relief, Gewasser und Siedlungen. A I 5: 1 : 1 Mio. Denk Materiale tipărite Hartă
common.buy 273.56 lei
100 největších událostí českých dějin - Tajemství české minulosti / Carte Carte broșată
common.buy 37.46 lei
L'IKU SE'N VA A DORMIR SLATER / Carte Carte broșată
common.buy 81.50 lei
Konzept zur Gründung einer lernenden Organisation anhand eines Beispielunternehmens Natascha Koppermann / Carte Carte broșată
common.buy 94.93 lei
Der kleine Brautladen am Strand Jane Linfoot / Carte Carte broșată
common.buy 45.06 lei
L'Obstacle BENTZON-T / Carte Carte broșată
common.buy 133.13 lei
Memoire Sur Une Question Relative Aux Vivres Des Troupes de Terre Dampierre De La Salle / Carte Carte broșată
common.buy 95.55 lei
Autobiografía de un búfalo pardo OSCAR ZETA ACOSTA / Carte Carte broșată
common.buy 159.15 lei
Dichten Im Uneigentlichen Christoph Leuchter / Carte Carte broșată
common.buy 382.34 lei
Die Rolle menschlicher Faktoren für den Erfolg von ERP-Einführungsprojekten Michael Weber / Carte Carte broșată
common.buy 261.90 lei
OEkonomische Instrumente zur Reduzierung von Flacheninanspruchnahme Patrice Philippe Toussaint / Carte Carte broșată
common.buy 124.59 lei

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages.§This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands, in November 2006. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems. The papers are organized in topical sections on component and service oriented computing, system design, tools, algebraic methods, model checking, assertional methods, and quantitative analysis.

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 2007
Număr pagini 300
EAN 9783540747918
ISBN 3540747915
Codul Libristo 01569195
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 474
Dimensiuni 155 x 235 x 17

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 > Computer architecture & logic design
Computing & Information Technology > Operating systems
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

Early Biblical Interpretation James L. Kugel / Carte Carte broșată
common.buy 169.98 lei
Top
How to Read the Bible James L. Kugel / Carte Carte broșată
common.buy 108.56 lei
Gluten Free: The Beginner's Guide to Living the Gluten-Free Lifestyle Today Sarah Hampton / Carte Carte broșată
common.buy 57.03 lei
Biblical Cosmos Robin A Parry / Carte Carte broșată
common.buy 133.13 lei
Optimal Transport for Applied Mathematicians Filippo Santambrogio / Carte Copertă tare
common.buy 324.77 lei
The Grand Finale Janet Evanovich / Audio Audio CD
common.buy 65.88 lei
Top
JOJOS BIZARRE ADV 06 STONE OCEAN V02 V02 / Carte Copertă tare
common.buy 108.56 lei
Practical Cycling: Equip, Maintain, and Repair Your Bicycle Louise Roussel / Carte Carte broșată
common.buy 101.28 lei
PicoTurbine Wind 101: Teacher and Student Guide Samantha Western / Carte Carte broșată
common.buy 56.83 lei
Gwendolyn Brooks: A Play in 3 Acts Acie Cargill / Carte Carte broșată
common.buy 42.04 lei
Elevator Shaft Construction; or, Practical Suggestions for the Installation of Electric Elevators in Buildings Albert Bauer / Carte Carte broșată
common.buy 106.17 lei
The Renegade Wizard Ashley P. Martin / Carte Carte broșată
common.buy 71.92 lei
Amazing Secrets of the Yogi Charles F. Haanel / Carte Copertă tare
common.buy 87.74 lei
Top
Player Of Games Iain M. Banks / Carte Carte broșată
common.buy 54.85 lei
Moral Economy of the Countryside Rosamond Faith / Carte Carte broșată
common.buy 188.20 lei
Risk Management Nerija Banaitiene / Carte Copertă tare
common.buy 815.69 lei
Problems and Problem Solving in Chemistry Education Georgios Tsaparlis / Carte Copertă tare
common.buy 756.36 lei
Social Psychology Connor Whiteley / Carte Carte broșată
common.buy 91.08 lei
ROUGH ON RATS Bob Riepe / Carte Copertă tare
common.buy 111.58 lei
Women, Love, and Power Baruch / E-book Adobe ePub DRM
common.buy 165.82 lei
Managing your Patients' Data in the Neonatal and Pediatric ICU Joseph Schulman / Carte Carte broșată
common.buy 530.05 lei
Nonlinear Modeling and Applications, Volume 2 Tom Proulx / Carte Copertă tare
common.buy 1 078.85 lei
10 and 90 Logan Seelye / Carte Carte broșată
common.buy 87.74 lei
Criminal and Environmental Soil Forensics Karl Ritz / Carte Carte broșată
common.buy 1 779.11 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?