Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Techniques for Networked and Distributed Systems - FORTE 2003

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Techniques for Networked and Distributed Systems - FORTE 2003 Hartmut König
Libristo kód: 01558642
Nakladatelství Springer, Berlin, listopad 2002
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on F... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Kinderfl chtlinge Petra Dieckhoff / Kniha Brožovaná
common.buy 1 115 Kč
Die 24 Elemente der Magie Danielle Weidig / Kniha Brožovaná
common.buy 369 Kč
BABADADA black-and-white, Srbija (Latinski pisanje) - slovenčina, slikovni rečnik - obrazkovy slovnik Babadada Gmbh / Kniha Brožovaná
common.buy 156 Kč
Základy společenských věd pro SOŠ - Pracovní sešit / Kniha Brožovaná
common.buy 260 Kč
Die Magd des Gutsherrn Elisabeth Büchle / Kniha Brožovaná
common.buy 317 Kč
Sous la neige, précédé de Les Metteurs en scène et Le Bilan WHARTON / Kniha Brožovaná
common.buy 569 Kč
Ptákovina Milan Kundera / Audio Audio CD
common.buy 210 Kč
Geschichte der lettischen Geschichtsschreibung. Vom 19. Jahrhundert bis zur Gegenwart Detlef Henning / Kniha Pevná
common.buy 844 Kč
A Night at the Nordic House (With the Symphony Orc Týr / Audio Audio CD
common.buy 269 Kč
El cardenal Manning : una biografía intelectual James Pereiro / Kniha Brožovaná
common.buy 382 Kč
Andorra : 17 excursions a peu MANEL FIGUERA / Kniha Brožovaná
common.buy 366 Kč
Připravujeme
Macanudo 3 Ricardo Liniers / Kniha Brožovaná
common.buy 222 Kč
Ravensburger Kinderpuzzle 12993 - Super Mario Abenteuer 200 Teile XXL - Puzzle für Kinder ab 8 Jahren / Hra/Hračka Hra
common.buy 252 Kč
Manuale della guardia del corpo Gérard Desmaretz / Kniha Brožovaná
common.buy 661 Kč
LEY DEL PROCEDIMIENTO ADMINISTRATIVO COMÚN DE LAS ADMINISTRACIONES PÚBLICAS 2019 Editorial Tecnos / Kniha Brožovaná
common.buy 315 Kč
Des Lois Des 17-23 Juillet 1856 Sur l'Arbitrage Force Et Les Societes En Commandite Par Actions BEDARRIDE-J / Kniha Brožovaná
common.buy 423 Kč
Incorporacion de Las Tic En Las Universidades Autonomas Andrés Y. Martínez Marín / Kniha Brožovaná
common.buy 1 400 Kč
Top
Razítka Dinosaurus, felt-tip pens box / Papírenské zboží Papírenské zboží
common.buy 516 Kč
presidencialismo de Bolivia previo al socialismo del siglo XXI Carlos Sanchez Berzain / Kniha Brožovaná
common.buy 671 Kč
Einbildungskraft als Organon der Ethik: Novalis und Leopardi Karin B. Gilardoni-Büch / Kniha Pevná
common.buy 1 159 Kč
Alte vs. neue Rechnungslegung auf der Aktivseite der Bilanz und dessen Auswirkungen fur die Unternehmen Tobias Niess / Kniha Brožovaná
common.buy 410 Kč
Herzzeit; Briefwechsel Ingeborg Bachmann / Kniha Brožovaná
common.buy 322 Kč
Rýchle fakty: Reumatoidná artritída autorov Kolektív / Kniha Brožovaná
common.buy 489 Kč
Initiation à la chiromancie Webster / Kniha Kniha
common.buy 458 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Techniques for Networked and Distributed Systems - FORTE 2003
Autor Hartmut König, Monika Heiner, Adam Wolisz
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2003
Počet stran 429
EAN 9783540201755
ISBN 3540201750
Libristo kód 01558642
Nakladatelství Springer, Berlin
Váha 626
Rozměry 155 x 235 x 23

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Strojní učení
Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Perspective in Nuclear Physics Sun-Chan Jeong / Kniha Brožovaná
common.buy 3 374 Kč
How We Lived in Wellborn before Television Glenn D Davis / Kniha Brožovaná
common.buy 339 Kč
Redefining English for the More Able Ian (London Gifted & Talented) Warwick / Kniha Pevná
common.buy 4 356 Kč
An Overview of the History of the Motorcycle in America: A Topical and Social Narrative Mark H Bayer / Kniha Brožovaná
common.buy 402 Kč
Stephen Mccranie's Space Boy Volume 2 Stephen McCranie / Kniha Brožovaná
common.buy 242 Kč
Written World Martin Puchner / Kniha Brožovaná
common.buy 390 Kč
I Rode with Robespierre and Danced with Danton ROBERT A. NIMMO / Kniha Brožovaná
common.buy 533 Kč
Early Childhood and Development Work Anne-Trine Kj?rholt / Kniha Pevná
common.buy 3 167 Kč
Fighting for the Chief's Agreement Bethany Dayna / Kniha Brožovaná
common.buy 193 Kč
Sally's Puppets Go to the Hospital: A Children's Play Gil Rogers / Kniha Brožovaná
common.buy 175 Kč
Advantages and Surroundings of New Albany David Peter Robbins / Kniha Brožovaná
common.buy 287 Kč
Top
Fashion Patternmaking Techniques for Accessories: Shoes, Bags, Hats, Gloves, Ties, Buttons and Dog Clothing Antonio Donnanno / Kniha Brožovaná
common.buy 693 Kč
Strictly Come Laughing!: Poetic Pornography and Funny Fantasy Alienora Browning / Kniha Brožovaná
common.buy 396 Kč
Weather and Climate Inventory National Park Service San Francisco Bay Area Network Christopher a Davey / Kniha Brožovaná
common.buy 335 Kč
My Birthday Pony Lola May Groves / Kniha Brožovaná
common.buy 538 Kč
Famous Pianists of Today and Yesterday Henry C. Lahee / Kniha Brožovaná
common.buy 581 Kč
Eccentric Lives and Peculiar Notions John Michell / Kniha Brožovaná
common.buy 318 Kč
Canton Gay Morgan Moore / Kniha Brožovaná
common.buy 474 Kč
Theory of the Solitary Sailor Grelet / Kniha Brožovaná
common.buy 311 Kč
The Unstoppable Dogs Lauren Krame-Theuerkauf / Kniha Pevná
common.buy 465 Kč
Must-Read Classics: A Book Club Journal for Bibliophiles Union Square & Co. / Kniha Pevná
common.buy 325 Kč
Trifolium Historicum: Seu Dissertatio Historico-chronologico-critica De Tribus Potentissimis Daniae Regibus Gormo Grandaevo, Haraldo Caeruli Thormodus Torfaeus / Kniha Pevná
common.buy 728 Kč
MAKING OF ANOTHER MAJOR MOTION PICTURE M HANKS TOM / Kniha Brožovaná
common.buy 359 Kč
Where Do We Go from Here? Victoria Adams / E-kniha Adobe ePub DRM
common.buy 472 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?