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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Formal Techniques for Networked and Distributed Systems yungchul Kim
Libristo kód: 01397070
Nakladatelství Springer, Berlin, listopad 2000
This book presents the latest worldwide results in theory and practice of formal techniques for netw... Celý popis
? points 532 b
5 315 Kč
Skladem u dodavatele Odesíláme za 10-16 dnů

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

Zákazníci také koupili

Le travail social au Pakistan Abid Ansari / Kniha Brožovaná
common.buy 1 115 Kč
Ohnivý most Miroslav Šnajdr / Kniha Kniha
common.buy 239 Kč
Ciao Antonella Abbatiello / Kniha Pevná
common.buy 438 Kč
Boy's Abyss 13 Nana Umino / Kniha Brožovaná
common.buy 169 Kč
Levně
MADE IN ABYSS 4 AKIHITO TSUKUSHI / Kniha Pevná
common.buy 208 Kč
Tokyo revengers Ken Wakui / Kniha Brožovaná
common.buy 163 Kč
Kohlenwasserstoff Abbaupotenzial von heterotrophen Bakterien in Nigeria Akwukwaegbu Roseline / Kniha Brožovaná
common.buy 1 115 Kč
Awele: Awele, o Amante de Vestidos Esther Adewuyi / Kniha Brožovaná
common.buy 219 Kč
Confidences des noces roman LAURE SYLVIE ADOU DA / Kniha Brožovaná
common.buy 316 Kč
Připravujeme
Raccontami Luca Cortis / Kniha Brožovaná
common.buy 493 Kč
Travers Ma Vie Armand Marquiset / Kniha Brožovaná
common.buy 582 Kč
La psychiatrie francophone DELTEIL / Kniha Brožovaná
common.buy 552 Kč
O gerenciamento empresarial através do Software Livre Sandro Cruz do Nascimento / Kniha Brožovaná
common.buy 177 Kč
Elektronik für Ingenieure und Naturwissenschaftler Julian Endres / Kniha Brožovaná
common.buy 1 400 Kč
Český jazyk Testové úlohy Roman Kanda / Kniha Brožovaná
common.buy 180 Kč
Základy Knihy V-VI Eukleides / Kniha Brožovaná
common.buy 193 Kč
Fullspace-Projektion Ute B Schroder / Kniha Pevná
common.buy 1 187 Kč
Když se hubnout nedaří Marta Boučková / Kniha Brožovaná
common.buy 218 Kč
Die Wirtschaft Bulgariens seit 1945. R. Peter Rochlin / Kniha Brožovaná
common.buy 1 542 Kč
Das Paradoxe Geschlecht Gesa Lindemann / Kniha Brožovaná
common.buy 972 Kč
In meinem Schatten werde ich getragen Tomas Tranströmer / Kniha Brožovaná
common.buy 349 Kč
Informationsverhalten von Studierenden in Bezug auf Versicherungsprodukte - Eine empirische Analyse mit Handlungsempfehlungen fur Versicherungen Andreas Möller / Kniha Brožovaná
common.buy 975 Kč
Die Arbeitersportbewegung in der Schweiz 1874-1947 Dominique M Frankhauser / Kniha Brožovaná
common.buy 997 Kč
Biomedizin Und Ethik Hans-Peter Schreiber / Kniha Pevná
common.buy 858 Kč

This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the following areas: Formal Methods in Software Development, Process Algebra, Timed Automata, Theories and Applications of Verification, Distributed Systems Testing, Test Sequence Derivation. In addition, the last part of the book contains special contributions by leading researchers in the above areas to add breadth and give more perspectives to the results. §This volume contains the selected proceedings of the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), which was sponsored by the International Federation for Information Processing (IFIP) and held in Cheju Island, Korea in August 2001. FORTE 2001 combines two prestigious conferences, FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification Testing and Verification), and has more than 20 years of history.§Formal Techniques for Networked and Distributed Systems will be essential reading for researchers and engineers working in the fields of communications, test equipment R&D, and telecommunications, as well as to software engineering tool developers.

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
Autor yungchul Kim, youngmoon Chin, ungwon Kang, anhyung Lee
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2001
Počet stran 464
EAN 9780792374701
ISBN 0792374703
Libristo kód 01397070
Nakladatelství Springer, Berlin
Váha 1850
Rozměry 155 x 235 x 26

Kategorie

Technologie, strojírenství, zemědělství > Energetické technologie a inženýrství > Elektrotechnika
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í > Programovací techniky
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 > Architektura počítače a logic design
Medicína a ošetřovatelství > Medicína: obecná témata
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

Balancing Copyright - A Survey of National Approaches Reto Hilty / Kniha Brožovaná
common.buy 4 705 Kč
Foreclosed Dreams: A Homeowner's Guide to Foreclosure Ralph Oliver Thompson / Kniha Brožovaná
common.buy 464 Kč
Cancer Journals Audre Lorde / Kniha Brožovaná
common.buy 226 Kč
Levně
Piracetam: 50 things you need to know: Brain boosting nootropics LeRoy Jenkins / Kniha Brožovaná
common.buy 104 Kč
Photography in and out of Africa Kylie Thomas / Kniha Pevná
common.buy 5 507 Kč
Nursing objective structured clinical examination (OSCE) Heba Abdel Mowla / Kniha Brožovaná
common.buy 1 317 Kč
Video Module 4: Culture Bill VanPatten / Audio Audio CD
common.buy 4 425 Kč
New Issues in Financial Institutions Management Franco Fiordelisi / Kniha Brožovaná
common.buy 1 222 Kč
Building Birdhouses Dana Meachen Rau / Kniha Brožovaná
common.buy 307 Kč
How to Build a Cat From Scratch Robert Greene / Kniha Brožovaná
common.buy 263 Kč
Llama Destroys the World Jonathan Stutzman / Kniha Pevná
common.buy 368 Kč
New Pantheon, Or, Fabulous History of the Heathen Gods, Goddesses, Heroes, &C Samuel Boyse / Kniha Pevná
common.buy 837 Kč
Acoustic Guitar Styles SANDBERG / Kniha Pevná
common.buy 5 168 Kč
Tokyo to Tokyo Daniel Doughty / Kniha Brožovaná
common.buy 533 Kč
Spontaneous Aaron Starmer / Kniha Brožovaná
common.buy 244 Kč
Ultrasound Guided Musculoskeletal Injections Gina M. Allen / Kniha Pevná
common.buy 3 969 Kč
The Left Side of Perfect Meghan Quinn / Kniha Brožovaná
common.buy 366 Kč
Discourse and Identity on Facebook Mariza Georgalou / Kniha Brožovaná
common.buy 1 105 Kč
Entwined By Fate S a Price / Kniha Brožovaná
common.buy 346 Kč
Reading Article 15 and Manusmriti.: Towards censoring unconstitutional Hindu shastras. Open Windows a Femini Research Center / Kniha Brožovaná
common.buy 153 Kč
Inequality, Boom, and Bust SHERMAN / Kniha Brožovaná
common.buy 1 499 Kč
R Graphics Cookbook Winston Chang / Kniha Brožovaná
common.buy 1 865 Kč
Top
Vincent Price Presents L.J. DOPP / Kniha Pevná
common.buy 172 Kč
Hymns for the Nation, in 1782. in Two Parts JOHN WESLEY / Kniha Pevná
common.buy 619 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?