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 2003

23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Techniques for Networked and Distributed Systems - FORTE 2003 Hartmut König
Libristo kod: 01558642
Nakladnici Springer, Berlin, studeni 2002
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on F... Cijeli opis
? points 125 b
51.68 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Kinderfl chtlinge Petra Dieckhoff / Knjiga Meki uvez
common.buy 46.02 €
Die 24 Elemente der Magie Danielle Weidig / Knjiga Meki uvez
common.buy 16.18 €
BABADADA black-and-white, Srbija (Latinski pisanje) - slovenčina, slikovni rečnik - obrazkovy slovnik Babadada Gmbh / Knjiga Meki uvez
common.buy 6.77 €
Základy společenských věd pro SOŠ - Pracovní sešit / Knjiga Meki uvez
common.buy 10.71 €
Die Magd des Gutsherrn Elisabeth Büchle / Knjiga Meki uvez
common.buy 13.95 €
Sous la neige, précédé de Les Metteurs en scène et Le Bilan WHARTON / Knjiga Meki uvez
common.buy 22.35 €
Ptákovina Milan Kundera / Audio Audio CD
common.buy 8.69 €
Geschichte der lettischen Geschichtsschreibung. Vom 19. Jahrhundert bis zur Gegenwart Detlef Henning / Knjiga Tvrdi uvez
common.buy 36.91 €
A Night at the Nordic House (With the Symphony Orc Týr / Audio Audio CD
common.buy 11.72 €
El cardenal Manning : una biografía intelectual James Pereiro / Knjiga Meki uvez
common.buy 16.68 €
Andorra : 17 excursions a peu MANEL FIGUERA / Knjiga Meki uvez
common.buy 13.54 €
Macanudo 3 Ricardo Liniers / Knjiga Meki uvez
common.buy 9.20 €
Ravensburger Kinderpuzzle 12993 - Super Mario Abenteuer 200 Teile XXL - Puzzle für Kinder ab 8 Jahren / Igra/Igračka Igra
common.buy 9.80 €
Manuale della guardia del corpo Gérard Desmaretz / Knjiga Meki uvez
common.buy 28.92 €
LEY DEL PROCEDIMIENTO ADMINISTRATIVO COMÚN DE LAS ADMINISTRACIONES PÚBLICAS 2019 Editorial Tecnos / Knjiga Meki uvez
common.buy 11.62 €
Des Lois Des 17-23 Juillet 1856 Sur l'Arbitrage Force Et Les Societes En Commandite Par Actions BEDARRIDE-J / Knjiga Meki uvez
common.buy 18.40 €
Incorporacion de Las Tic En Las Universidades Autonomas Andrés Y. Martínez Marín / Knjiga Meki uvez
common.buy 61.49 €
Razítka Dinosaurus, felt-tip pens box / Proizvodi od papira Proizvodi od papira
common.buy 21.33 €
presidencialismo de Bolivia previo al socialismo del siglo XXI Carlos Sanchez Berzain / Knjiga Meki uvez
common.buy 29.43 €
Einbildungskraft als Organon der Ethik: Novalis und Leopardi Karin B. Gilardoni-Büch / Knjiga Tvrdi uvez
common.buy 45.41 €
Alte vs. neue Rechnungslegung auf der Aktivseite der Bilanz und dessen Auswirkungen fur die Unternehmen Tobias Niess / Knjiga Meki uvez
common.buy 18.00 €
Top
Herzzeit; Briefwechsel Ingeborg Bachmann / Knjiga Meki uvez
common.buy 12.63 €
Rýchle fakty: Reumatoidná artritída autorov Kolektív / Knjiga Meki uvez
common.buy 22.35 €
Initiation à la chiromancie Webster / Knjiga Knjiga
common.buy 17.89 €

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2003, held in Berlin, Germany in September/October 2003.§§The 24 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on application of formal description techniques (FDTs), verification, timed automata, verification of security protocols, testing, and FDT-based design.

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 2003
Autor Hartmut König, Monika Heiner, Adam Wolisz
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2003
Broj stranica 429
EAN 9783540201755
ISBN 3540201750
Libristo kod 01558642
Nakladnici Springer, Berlin
Težina 626
Dimenzije 155 x 235 x 23

Kategorija

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer hardware > Network hardware
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
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

Perspective in Nuclear Physics Sun-Chan Jeong / Knjiga Meki uvez
common.buy 132.51 €
How We Lived in Wellborn before Television Glenn D Davis / Knjiga Meki uvez
common.buy 14.76 €
Redefining English for the More Able Ian (London Gifted & Talented) Warwick / Knjiga Tvrdi uvez
common.buy 188.34 €
An Overview of the History of the Motorcycle in America: A Topical and Social Narrative Mark H Bayer / Knjiga Meki uvez
common.buy 17.49 €
Stephen Mccranie's Space Boy Volume 2 Stephen McCranie / Knjiga Meki uvez
common.buy 12.84 €
Written World Martin Puchner / Knjiga Meki uvez
common.buy 16.07 €
I Rode with Robespierre and Danced with Danton ROBERT A. NIMMO / Knjiga Meki uvez
common.buy 23.15 €
Early Childhood and Development Work Anne-Trine Kj?rholt / Knjiga Tvrdi uvez
common.buy 138.07 €
Fighting for the Chief's Agreement Bethany Dayna / Knjiga Meki uvez
common.buy 8.39 €
Sally's Puppets Go to the Hospital: A Children's Play Gil Rogers / Knjiga Meki uvez
common.buy 7.58 €
Advantages and Surroundings of New Albany David Peter Robbins / Knjiga Meki uvez
common.buy 12.63 €
Top
Fashion Patternmaking Techniques for Accessories: Shoes, Bags, Hats, Gloves, Ties, Buttons and Dog Clothing Antonio Donnanno / Knjiga Meki uvez
common.buy 34.28 €
Strictly Come Laughing!: Poetic Pornography and Funny Fantasy Alienora Browning / Knjiga Meki uvez
common.buy 17.19 €
Weather and Climate Inventory National Park Service San Francisco Bay Area Network Christopher a Davey / Knjiga Meki uvez
common.buy 14.56 €
My Birthday Pony Lola May Groves / Knjiga Meki uvez
common.buy 23.26 €
Famous Pianists of Today and Yesterday Henry C. Lahee / Knjiga Meki uvez
common.buy 25.48 €
Eccentric Lives and Peculiar Notions John Michell / Knjiga Meki uvez
common.buy 13.95 €
Canton Gay Morgan Moore / Knjiga Meki uvez
common.buy 19.51 €
Theory of the Solitary Sailor Grelet / Knjiga Meki uvez
common.buy 13.75 €
The Unstoppable Dogs Lauren Krame-Theuerkauf / Knjiga Tvrdi uvez
common.buy 20.22 €
Must-Read Classics: A Book Club Journal for Bibliophiles Union Square & Co. / Knjiga Tvrdi uvez
common.buy 14.25 €
Trifolium Historicum: Seu Dissertatio Historico-chronologico-critica De Tribus Potentissimis Daniae Regibus Gormo Grandaevo, Haraldo Caeruli Thormodus Torfaeus / Knjiga Tvrdi uvez
common.buy 31.65 €
MAKING OF ANOTHER MAJOR MOTION PICTURE M HANKS TOM / Knjiga Meki uvez
common.buy 15.77 €
Where Do We Go from Here? Victoria Adams / E-knjiga Adobe ePub DRM
common.buy 18.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?