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 Techniques for Networked and Distributed Systems - FORTE 2005

25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Techniques for Networked and Distributed Systems - FORTE 2005 Farn Wang
Libristo kod: 01561216
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, rujan 2005
This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on F... Cijeli opis
? points 265 b
109.34 €
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

Do 30 dana za povrat

Kupci su kupili i

Pripremamo
Obr. Martin Dostál / Knjiga Meki uvez
common.buy 15.26 €
Grundlagen des Operations Research Tomas Gal / Knjiga Meki uvez
common.buy 63.42 €
Pripremamo
Prahry Pavel Kohout / Knjiga List
common.buy 11.83 €
POESIA COMPLETA JOAN BROSSA BROSSA / Knjiga Tvrdi uvez
common.buy 39.85 €
Les clans de la lune alphane Philip Kindred Dick / Knjiga Meki uvez
common.buy 10.71 €
Moja walka z szatanem. Ojciec Matteo La Grua Roberta Ruscica / Knjiga Meki uvez
common.buy 6.67 €
Selbstjustiz Susann Nocent / Knjiga Meki uvez
common.buy 16.98 €
La Habichuela Magica = The Magic Bean Enriqueta Capellades / Knjiga Meki uvez
common.buy 4.44 €
Die Lust am Text Roland Barthes / Knjiga Meki uvez
common.buy 22.45 €
LA CONFESSION DE WOLFGANG A. Batut d'Haussy / Knjiga Meki uvez
common.buy 23.96 €
Amora NATALIA BORGES POLESSO / Knjiga Tvrdi uvez
common.buy 18.00 €
Povoljno
Die Crew - Auf der Suche nach dem 9. Planeten Thomas Sing / Igra/Igračka Igra
common.buy 12.84 €
Le p?lerinage de Port-Royal Andre Hallays / Knjiga Tvrdi uvez
common.buy 38.23 €
Professionalisierung Harald A. Mieg / Knjiga Meki uvez
common.buy 22.45 €
Vivaldi Per Trombone: 10 Pezzi Facili Per Trombone Libro Per Principianti Easy Classical Masterworks / Knjiga Meki uvez
common.buy 9.40 €
Autismo con discapacidad intelectual grave : guía para padres y educadores Rita Jordan / Knjiga Meki uvez
common.buy 33.27 €
Azade Fazile Asar Aydinalp / Knjiga Meki uvez
common.buy 10.21 €
Svět čísel a tvarů Alena Hošpesová; J. Divíšek / Knjiga Meki uvez
common.buy 4.95 €
Beantwortung der Frage: Was ist Aufklärung? Immanuel Kant / Knjiga Meki uvez
common.buy 9.90 €
Iphigenie Jean Baptiste Racine / Knjiga Meki uvez
common.buy 5.96 €

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, held in Taipei, Taiwan, in October 2005.The 33 revised full papers and 6 short papers presented together with 3 keynote speeches were carefully reviewed and selected from 88 submissions. The papers cover all current aspects of formal methods for distributed systems and communication protocols such as formal description techniques (MSC, UML, Use cases, . . .), semantic foundations, model-checking, SAT-based techniques, process algebrae, abstractions, protocol testing, protocol verification, network synthesis, security system analysis, network robustness, embedded systems, communication protocols, and several promising new techniques.

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 Networked and Distributed Systems - FORTE 2005
Autor Farn Wang
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2005
Broj stranica 558
EAN 9783540291893
ISBN 354029189X
Libristo kod 01561216
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 1760
Dimenzije 155 x 235 x 37

Kategorija

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer networking & communications > Networking standards & protocols
Computing & Information Technology > Computer science > Computer architecture & logic design
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

After The Fires Went Out: Coyote: Book One of the Post-Apocalyptic Series Regan Wolfrom / Knjiga Meki uvez
common.buy 18.40 €
Low-life THOMAS LEGG / Knjiga Tvrdi uvez
common.buy 30.74 €
History of the First Regiment of Colorado Volunteers Ovando James Hollister / Knjiga Meki uvez
common.buy 16.18 €
An Entrepreneur's Impact: A Memoir of Success David K Ewen / Knjiga Meki uvez
common.buy 7.78 €
Introduction to Intercultural Communication Fred E Jandt / Knjiga Meki uvez
common.buy 90.42 €
James: A Thirty One Day Devotional Jeff Holton / Knjiga Meki uvez
common.buy 6.77 €
Germs Are Us: Collaborating FOR LIFE Melvin a Benarde Ph D / Knjiga Meki uvez
common.buy 19.31 €
Applicati Reference Practical Antenna Design: 140-150 Mhz Vhf Transceivers Applicati Company / Knjiga Meki uvez
common.buy 19.31 €
Machine Learning For Absolute Beginners Oliver Theobald / Knjiga Meki uvez
common.buy 16.68 €
Learning in Practice for Nursing Students Jessica Mills / Knjiga Meki uvez
common.buy 37.01 €
Squid ELIZABETH GREENWOOD / Knjiga Tvrdi uvez
common.buy 28.72 €
Deadpool: World's Greatest Vol. 7: Deadpool Does Shakespeare Gerry Duggan / Knjiga Meki uvez
common.buy 12.84 €
24_The wedding day_65 DAVID CAST DORSALEZ / Knjiga Meki uvez
common.buy 15.26 €
Curries 500 Mridula Baljekar / Knjiga Meki uvez
common.buy 10.81 €
Things to Do with Dad Sam Zuppardi / Knjiga Tvrdi uvez
common.buy 15.77 €
School Choice and School Governance J. Herbst / Knjiga Meki uvez
common.buy 41.46 €
Future of the Eurozone - How to Keep Europe Together: A Progressive Perspective from Germany Alexander Schellinger / Knjiga Meki uvez
common.buy 25.28 €
Salads Anne Hildyard / Knjiga Tvrdi uvez
common.buy 4.54 €
Aspects of Love Andrew Lloyd Webber / Knjiga Meki uvez
common.buy 24.07 €
To Make Room for the Sea Adam Clay / Knjiga Meki uvez
common.buy 14.86 €
Electropathic Guide S. M. Wells / Knjiga Meki uvez
common.buy 12.63 €
Radical Relevance: Sharpen Your Marketing Message - Cut Through the Noise - Win More Ideal Clients Bill Cates / Knjiga Meki uvez
common.buy 22.24 €
Teaching Business English Online: The Conversation Method Gabriela Guzman / Knjiga Meki uvez
common.buy 15.77 €
Mr Men Little Miss: Postcard Set Roger Hargreaves / Knjiga Tvrdi uvez
common.buy 14.66 €

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?