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 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Techniques for Distributed Systems Holger Giese
Libristo kod: 01661349
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, svibanj 2012
This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on F... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

S přáteli i v archivech - Sborník k sedmdesátinám historika Jindřicha Marka Prokop Tomek / Knjiga Tvrdi uvez
common.buy 12.24 €
La vie est un songe Calderón de la Barca / Knjiga Meki uvez
common.buy 7.59 €
GEOLOGIA Y CIENCIAS AMBIENTALES 2. CLEMENTE ROCA / Knjiga Meki uvez
common.buy 55.19 €
Diagnose und verschiedene Behandlungsprotokolle bei Zahnimplantaten Sumit Kaushal / Knjiga Meki uvez
common.buy 64.10 €
Disi Kurtlar Thomas Narcejac / Knjiga Meki uvez
common.buy 12.24 €
Сила мысли. Сборник устных комментариев Мастера к наставлениям Свами Шивананды Свами Вишнудэвананда / Knjiga Meki uvez
common.buy 8.40 €
JOHANNES KEPLER MAX CASPAR / Knjiga Meki uvez
common.buy 24.20 €
Estudio de Factibilidad de Un Food Truck en la Ciudad de Manizales Juan Felipe Rendon Duque / Knjiga Meki uvez
common.buy 49.01 €
Esperanza. La Autobiografía: Memorias del Papa Francisco / Hope / Knjiga Meki uvez
common.buy 15.79 €
Les vingt tournages qui ont changé le cinéma Olivier Rajchman / Knjiga Meki uvez
common.buy 29.67 €
Die Krankenschwester, Großdruck Valerie Nilon / Knjiga Meki uvez
common.buy 11.84 €
Beletrie pro děti Josef Čapek / Knjiga Tvrdi uvez
common.buy 15.49 €
Zdravě jíme, nevaříme Judita Hofhanzlová / Knjiga Meki uvez
common.buy 8.09 €
Medizinische Informatik und Bioinformatik Martin Dugas / Knjiga Meki uvez
common.buy 33.21 €
iusta causa traditionis oder das Abstraktionsprinzip im roemischen Recht Erwin Kunze / Knjiga Meki uvez
common.buy 16.20 €
Frauenideale in der Liteartur des 18. Jahrhunderts. Sandra Faust / Knjiga Meki uvez
common.buy 16.20 €
Wege suchen - Grenzen erfahren Hartmut Diegel / Knjiga Meki uvez
common.buy 13.56 €
Flore Medicale, Volume 1... Franc Ois Pierre Chaumeton / Knjiga Meki uvez
common.buy 28.86 €
Neue katalytische Funktionalisierungen ungesattigter Fettsauren Dominik M. Ohlmann / Knjiga Meki uvez
common.buy 80.10 €
Femme Et La Democratie de Nos Temps Allart De Meritens-H / Knjiga Meki uvez
common.buy 17.41 €
Música en imágenes Ezquerro Esteban / Knjiga Meki uvez
common.buy 35.03 €
Medicina general. Diagnóstico en oncología Alejandra Guerrero Álvarez / Knjiga Meki uvez
common.buy 96.61 €
Sirotčinec slečny Peregrinové pro podivné děti Ransom Riggs / Knjiga Tvrdi uvez
common.buy 15.28 €
Povoljno
FRE-ASTRONOMIE TOME 1 Joseph Jerome Le Francais De Lalande / Knjiga Meki uvez
common.buy 10.52 €

This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services.

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 Holger Giese, Grigore Rosu
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2012
Broj stranica 269
EAN 9783642307928
ISBN 3642307922
Libristo kod 01661349
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 435
Dimenzije 155 x 235 x 16

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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 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

East Asia, Globalization and the New Economy F. Gerard Adams / Knjiga Tvrdi uvez
common.buy 236.08 €
Last Night a Pen and Paper Saved My Life Keyana Rhoden / Knjiga Meki uvez
common.buy 12.85 €
Protective Mate: Holland Brothers 3 Toni Griffin / Knjiga Meki uvez
common.buy 13.06 €
Missional Mirage: New Christian West Francis Rothery / Knjiga Meki uvez
common.buy 6.78 €
THE TREATY OF WASHINGTON: CONCLUDED AUGU HUGH TAYLOR GORDON / Knjiga Tvrdi uvez
common.buy 29.77 €
Are You Ready for Me Therese M. English / Knjiga Meki uvez
common.buy 21.16 €
Read with Oxford: Stages 5-6: My Winnie and Wilbur Reading and Activity Kit Laura Owen / Knjiga Meki uvez
common.buy 20.35 €
Isabella: Book #2 in the House of Donato Series Patricia M Jackson / Knjiga Meki uvez
common.buy 13.46 €
Scratch Programming: A Complete Guide For Beginners Connor Wallace / Knjiga Meki uvez
common.buy 19.33 €
Re-Visioning Scotland Lyndsay Lunan / Knjiga Meki uvez
common.buy 67.34 €
Fruits Of Enterprise Exhibited In The Adventures Of Belzoni In Egypt And Nubia (1843) Giovanni Battista Belzoni / Knjiga Tvrdi uvez
common.buy 42.12 €
Contemporary Monologues Michael Earley / Knjiga Meki uvez
common.buy 29.97 €
Top
Small Apartment Inspirations / Knjiga Tvrdi uvez
common.buy 10.12 €
Complete Global Perspectives for Cambridge IGCSE (R) & O Level Teacher Guide Jo Lally / Knjiga Meki uvez
common.buy 101.17 €
Handbook on Food Tourism Eerang Park / Knjiga Tvrdi uvez
common.buy 216.03 €
Vermeer of Delft E 1868-1938 Lucas / Knjiga Meki uvez
common.buy 16.50 €
Acts of Appearance Gauri Gill / Knjiga Meki uvez
common.buy 70.58 €
Guitar Amps & Effects For Dummies Dave Hunter / Knjiga Meki uvez
common.buy 23.18 €

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?