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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods for Components and Objects

10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods for Components and Objects Bernhard Beckert
Libristo kod: 01662914
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, siječanj 2013
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

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Digitale Kameratechnik Thomas Maschke / Knjiga Meki uvez
common.buy 37.86 €
Anuraagam Kanchana Mala Mahesh / Knjiga Meki uvez
common.buy 18.42 €
Az egyensúlyvesztéstől az új egyensúlyig Dr. Bagdy Emőke / Knjiga Meki uvez
common.buy 6.88 €
LA MORT NUE JEAN-HUGUES / Knjiga Meki uvez
common.buy 21.96 €
ET QUE PLEURENT LES DAUPHINS SAINT THOMAS / Knjiga Meki uvez
common.buy 13.15 €
Retablos, prestigio y dinero : talleres y mercado de pintura en la Valencia del gótico internacional Matilde . . . [et al. ] Miquel Juan / Knjiga Meki uvez
common.buy 26.52 €
Catalogo Dei Codici Persiani (1886) Italo Pizzi / Knjiga Meki uvez
common.buy 21.25 €
Strážcovia Galaxie / Knjiga Tvrdi uvez
common.buy 9.51 €
Dieta Antiinflamatoria John Carter / Knjiga Tvrdi uvez
common.buy 26.82 €
Nenávist, kterou jsi probudil - DVD / Video Video
common.buy 7.69 €
Payador Leopoldo Lugones / Knjiga Meki uvez
common.buy 15.79 €
Des Partisans Fririon-J-F / Knjiga Meki uvez
common.buy 13.66 €
Competitive Balance in der TOYOTA Handball Bundesliga Cindy Pannu / Knjiga Meki uvez
common.buy 56.90 €
Laubsägen Pia Pedevilla / Knjiga Meki uvez
common.buy 8.60 €

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.§This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-component ensembles; trustworthy eternal systems via evolving software, data, and knowledge; parallel patterns for adaptive heterogeneous multicore systems; programming for future 3D architectures with many cores; formal verification of object oriented software; and an infrastructure for reliable computer systems.

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 Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2013
Broj stranica 356
EAN 9783642358869
ISBN 3642358861
Libristo kod 01662914
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 563
Dimenzije 155 x 235 x 19

Kategorija

Computing & Information Technology > Digital lifestyle > Internet guides & online services > Internet searching
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 > Databases > Information retrieval
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Information technology: general issues
Computing & Information Technology > Operating systems
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

Top
Handbook for Shooters and Reloaders Parker O. Ackley / Knjiga Meki uvez
common.buy 13.66 €
Health Tracking Log: 12 Week Diabetic Health Tracking Log (Celestial) 3j Journals / Knjiga Meki uvez
common.buy 9.41 €
Forests in Our World: How the Climate Affects Woodlands Gunther Willinger / Knjiga Tvrdi uvez
common.buy 68.54 €
Fifty Traditional And Classical Pieces for Easy Piano Dr Michael Hewitt / Knjiga Meki uvez
common.buy 10.32 €
Anna's Home Front SARA THOMSON / Knjiga Meki uvez
common.buy 14.67 €
Do What You Love - And Never Work Again!: Dare to take the money! Samuel Cremer / Knjiga Meki uvez
common.buy 13.05 €
Mr Benjamin's Suitcase of Secrets Pei-Yu Chang / Knjiga Tvrdi uvez
common.buy 17.61 €
Top
Private Lives of the Tudors Tracy Borman / Knjiga Meki uvez
common.buy 14.17 €
A HISTORY OF EIGHTEENTH CENTURY LITERATU MA EDMUND GOSSE / Knjiga Tvrdi uvez
common.buy 38.27 €
Third Level Tithing Paul Wood / Knjiga Meki uvez
common.buy 17.00 €
A Sliver of Stardust Marissa Burt / Knjiga Meki uvez
common.buy 9.91 €
Niles' Weekly Register, Volume 12 William Ogden Niles / Knjiga Tvrdi uvez
common.buy 38.27 €
Global Mindsets John Kuada / Knjiga Tvrdi uvez
common.buy 235.22 €
Top
Cognitive Behavior Therapy and Eating Disorders Christopher Fairburn / Knjiga Tvrdi uvez
common.buy 65.91 €
Gothic Fred Botting / Knjiga Tvrdi uvez
common.buy 105.20 €
Holism - A Shopper's Guide Jerry Fodor / Knjiga Meki uvez
common.buy 53.05 €
Shaping and Reshaping Chinese American Identity Jingyi Song / Knjiga Tvrdi uvez
common.buy 127.88 €
Pathfinder Rpg: Fists of the Ruby Phoenix Battle Cards (P2) Paizo Staff / Igra/Igračka Igra
common.buy 50.42 €
Love Life Rob Lowe / Knjiga Meki uvez
common.buy 14.27 €
West European City Ils 179 Robert E. Dickinson / Knjiga Tvrdi uvez
common.buy 360.48 €
ESSAYS ON PRACTICAL POLITICS Theodore Roosevelt / Knjiga Tvrdi uvez
common.buy 33.61 €
Determined Fight Onward Robert Potts / Knjiga Meki uvez
common.buy 15.58 €
Ghost in the Hollows Patricia Komar / Knjiga Meki uvez
common.buy 13.36 €

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?