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 Techniques for Distributed Systems

Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Techniques for Distributed Systems John Hatcliff
Libristo kod: 01655975
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 2010
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on F... Cijeli opis
? points 142 b
58.63 €
Vanjske zalihe Šaljemo za 9-15 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Cowboy fur die Liebe Martina Gercke / Knjiga Meki uvez
common.buy 9.11 €
Siegfried. Giganc. Tom 2 wyd. 2025 Lylian / Knjiga Meki uvez
common.buy 7.48 €
Guide Pratique d'Audit Social de Conformité Emmanuel Beck / Knjiga Meki uvez
common.buy 40.20 €
Indirekte Sterbehilfe Sophie Roggendorf / Knjiga Meki uvez
common.buy 36.86 €
BATMAN LA GARGOLA DE GOTHAM 3 GRAMPA / Knjiga Knjiga
common.buy 14.27 €
L'Anneau nuptial ; les aventures d'Arsene Lupin Leblanc / Audio knjiga MP3
common.buy 3.74 €
Mathe.Logo Bayern 8 I - neu Patricia Weixler / Knjiga Tvrdi uvez
common.buy 30.48 €
Kde bývajú zvieratká? neuvedený autor / Knjiga Leporelo
common.buy 7.99 €
Phonsegmentierte, nichtlineare Zeitskalierung von Sprache Dirk Hopfner / Knjiga Meki uvez
common.buy 35.64 €
Überblick über die rechtlichen Regelungen im Ausland erbrachter medizinischer Leistungen am Beispiel der Niederlande Julia Bovensiepen / Knjiga Meki uvez
common.buy 16.20 €
Labutie piesne Pavol Hammel / Audio Audio CD
common.buy 10.83 €
Europa und der Stier oder der Brautraub des Zeus Konrad Heldmann / Knjiga Tvrdi uvez
common.buy 136.72 €
Lieber ein Optimist, der sich mal irrt... Peter Hohl / Knjiga Tvrdi uvez
common.buy 7.48 €
Grusel, Terror, Videospiel Christoph Hurka / Knjiga Meki uvez
common.buy 21.56 €
literarische Funktion von Kleidung in den Islendingasoegur und IslendingaTHaettir Anita Sauckel / Knjiga Tvrdi uvez
common.buy 159.41 €
Beat Kusagi David Sterritt / Knjiga Meki uvez
common.buy 9.21 €
Der Alpenkönig und der Menschenfeind Ferdinand Raimund / Knjiga Meki uvez
common.buy 5.46 €
Senilita Italo Svevo / Knjiga Meki uvez
common.buy 12.65 €
Marketing im Mittelstand Clemens Renker / Knjiga Tvrdi uvez
common.buy 66.33 €
Tata a jeho syn Arnošt Goldflam / Audio Audio CD
common.buy 9.51 €
Jahre des Umbruchs Clemens Vollnhals / Knjiga Tvrdi uvez
common.buy 106.34 €
Legislatives Unrecht Und Eu-Amtshaftungsanspruch Björn-Peter Säuberlich / Knjiga Meki uvez
common.buy 85.57 €
Hochzeitsreise Charles de Coster / Knjiga Tvrdi uvez
common.buy 22.37 €
Detektywistyka Brakoniecki Dariusz / Knjiga Meki uvez
common.buy 17.21 €

This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010. The 13 revised full papers presented together with 6 short papers and the abstract of one invited talk were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on formal UML modeling; components and architecture; timed process algebra; timed and hybrid automata; program logics and analysis; and reasoning about distributed 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 Techniques for Distributed Systems
Autor John Hatcliff, Elena Zucca
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2010
Broj stranica 233
EAN 9783642134630
ISBN 3642134637
Libristo kod 01655975
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 386
Dimenzije 159 x 240 x 19

Kategorija

Computing & Information Technology > Computer hardware > Network hardware
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 networking & communications > Distributed systems
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

Computer-Supported Cooperative Work Uwe M. Borghoff / Knjiga Meki uvez
common.buy 50.63 €
Articulated Motion and Deformable Objects Francisco J. Perales / Knjiga Meki uvez
common.buy 58.63 €
Algorithms - ESA 2007 Lars Arge / Knjiga Meki uvez
common.buy 103.10 €
240 Brain Variety Puzzles, Vol 1 Jaja Books / Knjiga Meki uvez
common.buy 9.92 €
Breeding for Disease Resistance in Farm Animals Roger Axford / Knjiga Tvrdi uvez
common.buy 176.42 €
Ragtime, Blues & Jazz for Banjo Fred Sokolow / Knjiga Meki uvez
common.buy 32.40 €
Postcolonial London John McLeod / Knjiga Tvrdi uvez
common.buy 209.34 €
Observatory Mansions Edward Carey / Knjiga Meki uvez
common.buy 18.73 €
What Color Is the Wind? Anne Herbauts / Knjiga Meki uvez
common.buy 17.21 €
The End of the Perfect 10: The Making and Breaking of Gymnastics' Top Score --From Nadia to Now Dvora Meyers / Knjiga Meki uvez
common.buy 13.56 €
The Life of Martin Luther William Rein / Knjiga Meki uvez
common.buy 29.77 €
Words Of Love 1959-2009 Gary Lynn Clevenger / Knjiga Meki uvez
common.buy 14.88 €
Addresses Against Incorporating Union, 1706-1707 Karin Bowie / Knjiga Tvrdi uvez
common.buy 99.25 €
Do Magazine Presents Quilting Techniques & Projects Editors of Do Magazine / Knjiga Meki uvez
common.buy 8.40 €
Playing Guitar Musically: A Guide to Creativity on Guitar & Bass. Adam Satur / Knjiga Meki uvez
common.buy 22.98 €
Charter and Ordinances of the City of Ann Arbor Ann Arbor / Knjiga Meki uvez
common.buy 19.33 €
The Big Book of 500 Sudoku Puzzles easy (with answers) Sudoku Puzzle Books / Knjiga Meki uvez
common.buy 14.78 €
Anne of the Island Lucy Maud Montgomery / Knjiga Meki uvez
common.buy 8.60 €
Progressive French Dialogues And Phrases: Consisting Of A Systematic Collection Of Conversations On Familiar Subjects (1845) Alexander G. Collot / Knjiga Meki uvez
common.buy 27.84 €
Art of the Cosmos Jim Bell / Knjiga Tvrdi uvez
common.buy 35.95 €
The Sky Is Not the Limit Jeremie Decalf / Knjiga Tvrdi uvez
common.buy 16.09 €
Girls from da Hood 6 Ashley / E-knjiga Adobe ePub DRM
common.buy 7.18 €
Baby's daily Log Book Soby K / Knjiga Meki uvez
common.buy 24.20 €
The Principles of Greek Grammar Peter Bullions / Knjiga Meki uvez
common.buy 53.47 €

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?