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

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.30 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Digitale Kameratechnik Thomas Maschke / Knjiga Meki uvez
common.buy 37.54 €
Data Engineering 4.0 Herbert Weber / Knjiga Meki uvez
common.buy 60.84 €
Anuraagam Kanchana Mala Mahesh / Knjiga Meki uvez
common.buy 18.26 €
LA MORT NUE JEAN-HUGUES / Knjiga Meki uvez
common.buy 20.67 €
Strážcovia Galaxie / Knjiga Tvrdi uvez
common.buy 9.43 €
Az egyensúlyvesztéstől az új egyensúlyig Dr. Bagdy Emőke / Knjiga Meki uvez
common.buy 7.22 €
Judith Fürste Blanca Ortiz Ostalé / Knjiga Meki uvez
common.buy 21.18 €
Catalogo Dei Codici Persiani (1886) Italo Pizzi / Knjiga Meki uvez
common.buy 21.08 €
ET QUE PLEURENT LES DAUPHINS SAINT THOMAS / Knjiga Meki uvez
common.buy 11.84 €
Dieta Antiinflamatoria John Carter / Knjiga Tvrdi uvez
common.buy 26.60 €
Nenávist, kterou jsi probudil - DVD / Video Video
common.buy 7.62 €
Der Circus Zweimalsohoch Thomas Wörner / Knjiga Tvrdi uvez
common.buy 22.19 €
Payador Leopoldo Lugones / Knjiga Meki uvez
common.buy 15.65 €
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.20 €
Des Partisans Fririon-J-F / Knjiga Meki uvez
common.buy 12.54 €
Competitive Balance in der TOYOTA Handball Bundesliga Cindy Pannu / Knjiga Meki uvez
common.buy 56.22 €
Aristoteles Werke V 17/1 Ernst Grumach / Knjiga Tvrdi uvez
common.buy 199.71 €
Laubsägen Pia Pedevilla / Knjiga Meki uvez
common.buy 8.52 €

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

A HISTORY OF EIGHTEENTH CENTURY LITERATU MA EDMUND GOSSE / Knjiga Tvrdi uvez
common.buy 37.96 €
Global Mindsets John Kuada / Knjiga Tvrdi uvez
common.buy 259.15 €
Niles' Weekly Register, Volume 12 William Ogden Niles / Knjiga Tvrdi uvez
common.buy 37.96 €
Fox and Emily's Long Migration Zipporah Mitcham Davis / Knjiga Meki uvez
common.buy 13.95 €
Third Level Tithing Paul Wood / Knjiga Meki uvez
common.buy 16.86 €
Top
Handbook for Shooters and Reloaders Parker O. Ackley / Knjiga Meki uvez
common.buy 13.55 €
The Encyclopedia of Christianity, Si-Z, Volume 5 Erwin Fahlbusch / Knjiga Tvrdi uvez
common.buy 237.86 €
Task-Based Language Learning in a Real-World Digital Environment Paul Seedhouse / Knjiga Tvrdi uvez
common.buy 171.09 €
A Sliver of Stardust Marissa Burt / Knjiga Meki uvez
common.buy 9.83 €
Private Lives of the Tudors Tracy Borman / Knjiga Meki uvez
common.buy 14.35 €
Mr Benjamin's Suitcase of Secrets Pei-Yu Chang / Knjiga Tvrdi uvez
common.buy 17.47 €
Do What You Love - And Never Work Again!: Dare to take the money! Samuel Cremer / Knjiga Meki uvez
common.buy 12.95 €
Anna's Home Front SARA THOMSON / Knjiga Meki uvez
common.buy 14.55 €
Fifty Traditional And Classical Pieces for Easy Piano Dr Michael Hewitt / Knjiga Meki uvez
common.buy 10.23 €
Forests in Our World: How the Climate Affects Woodlands Gunther Willinger / Knjiga Tvrdi uvez
common.buy 66.86 €
Health Tracking Log: 12 Week Diabetic Health Tracking Log (Celestial) 3j Journals / Knjiga Meki uvez
common.buy 9.33 €
Social Media and Integrated Marketing Communication Jeanne M. Persuit / Knjiga Meki uvez
common.buy 58.13 €
Unti Heath Historical Romance #42 HEATH LORRAINE / Knjiga Meki uvez
common.buy 8.52 €
101 Red Hot Bluegrass Guitar Licks and Solos Larry McCabe / Knjiga Meki uvez
common.buy 31.02 €
Coming to Terms with the Future Gisela Eberhardt / Knjiga Tvrdi uvez
common.buy 110.39 €
Top
Cognitive Behavior Therapy and Eating Disorders Christopher Fairburn / Knjiga Tvrdi uvez
common.buy 72.19 €
Gothic Fred Botting / Knjiga Tvrdi uvez
common.buy 102.51 €
Holism - A Shopper's Guide Jerry Fodor / Knjiga Meki uvez
common.buy 50.20 €
Shaping and Reshaping Chinese American Identity Jingyi Song / Knjiga Tvrdi uvez
common.buy 125.60 €

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?