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

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 524 b
5 236 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

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

Zákazníci také koupili

Top
Základy Knihy V-VI Eukleides / Kniha Brožovaná
common.buy 162 Kč
Když se hubnout nedaří Marta Boučková / Kniha Brožovaná
common.buy 192 Kč
Fullspace-Projektion Ute B Schroder / Kniha Pevná
common.buy 1 187 Kč
La psychiatrie francophone DELTEIL / Kniha Brožovaná
common.buy 552 Kč
Confidences des noces roman LAURE SYLVIE ADOU DA / Kniha Brožovaná
common.buy 345 Kč
Awele: Awele, o Amante de Vestidos Esther Adewuyi / Kniha Brožovaná
common.buy 219 Kč
Das Paradoxe Geschlecht Gesa Lindemann / Kniha Brožovaná
common.buy 972 Kč
Kohlenwasserstoff Abbaupotenzial von heterotrophen Bakterien in Nigeria Akwukwaegbu Roseline / Kniha Brožovaná
common.buy 1 115 Kč
Tokyo revengers Ken Wakui / Kniha Brožovaná
common.buy 169 Kč
Boy's Abyss 13 Nana Umino / Kniha Brožovaná
common.buy 168 Kč
Ciao Antonella Abbatiello / Kniha Pevná
common.buy 445 Kč
Český jazyk Testové úlohy Roman Kanda / Kniha Brožovaná
common.buy 170 Kč
Die Wirtschaft Bulgariens seit 1945. R. Peter Rochlin / Kniha Brožovaná
common.buy 1 295 Kč
La Leyenda de la Sombra de la Luna Joe Barfield / Kniha Brožovaná
common.buy 299 Kč
La Revolución Rusa de 1917 VICENTE BLASCO IBAÑEZ / Kniha Brožovaná
common.buy 780 Kč
In meinem Schatten werde ich getragen Tomas Tranströmer / Kniha Brožovaná
common.buy 350 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 1 002 Kč
Biomedizin Und Ethik Hans-Peter Schreiber / Kniha Pevná
common.buy 858 Kč
Memoria canalla de un periodista impertinente. Los géneros clásicos ante las nuevas tecnologías Peñalva Abrisqueta / Kniha Brožovaná
common.buy 705 Kč
Ritter Unterwegs Und Die Pflege Der Gastfreundschaft Im Alten Frankreich Hugo Oschinsky / Kniha Brožovaná
common.buy 570 Kč
Ohnivý most Miroslav Šnajdr / Kniha Kniha
common.buy 192 Kč
Guide de la Conversation Japonaise (2e Ed)(Ed.1867) Leon De Rosny / Kniha Brožovaná
common.buy 489 Kč
English G Lighthouse - Allgemeine Ausgabe - Band 3: 7. Schuljahr Susan Abbey / Kniha Pevná
common.buy 726 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

Entwined By Fate S a Price / Kniha Brožovaná
common.buy 346 Kč
Girl Zines Alison Piepmeier / Kniha Brožovaná
common.buy 941 Kč
Foreclosed Dreams: A Homeowner's Guide to Foreclosure Ralph Oliver Thompson / Kniha Brožovaná
common.buy 491 Kč
New Issues in Financial Institutions Management Franco Fiordelisi / Kniha Brožovaná
common.buy 1 223 Kč
Building Birdhouses Dana Meachen Rau / Kniha Brožovaná
common.buy 307 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 4 430 Kč
Tokyo to Tokyo Daniel Doughty / Kniha Brožovaná
common.buy 636 Kč
Spontaneous Aaron Starmer / Kniha Brožovaná
common.buy 244 Kč
Top
Ultrasound Guided Musculoskeletal Injections Gina M. Allen / Kniha Pevná
common.buy 3 507 Kč
Video Module 4: Culture Bill VanPatten / Audio Audio CD
common.buy 4 451 Kč
R Graphics Cookbook Winston Chang / Kniha Brožovaná
common.buy 1 865 Kč
Arkansas Pie: A Delicious Slice of the Natural State Kat Robinson / Kniha Pevná
common.buy 675 Kč
Llama Destroys the World Jonathan Stutzman / Kniha Pevná
common.buy 358 Kč
How to Build a Cat From Scratch Robert Greene / Kniha Brožovaná
common.buy 263 Kč
Levně
Piracetam: 50 things you need to know: Brain boosting nootropics LeRoy Jenkins / Kniha Brožovaná
common.buy 91 Kč
Handbook of a Patriot: Selected Lectures of Swami Vivekananda Aditya Kashyap / Kniha Brožovaná
common.buy 445 Kč
Gaius Marius: The Life and Legacy of the General Who Reformed the Roman Army Charles River / Kniha Brožovaná
common.buy 261 Kč
Chinese Architecture (Cultural China Series, Englische Ausgabe Cai Yanxin / Kniha Kniha
common.buy 742 Kč
NOVENA TO ST. RITA OF CASCIA FILIPINO PADOVESE / Kniha Brožovaná
common.buy 299 Kč
Zeroville Steve Erickson / Kniha Brožovaná
common.buy 339 Kč
China in Revolution Mark Selden / Kniha Pevná
common.buy 4 835 Kč
High Season Student's Book Keith Harding / Kniha Brožovaná
common.buy 653 Kč
Evaluation of Research and Development G. Boggio / Kniha Pevná
common.buy 2 357 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?