Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Techniques for Networked and Distributed Systems

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Formal Techniques for Networked and Distributed Systems yungchul Kim
Libristo-code: 01397070
Uitgeverij Springer, Berlin, november 2000
This book presents the latest worldwide results in theory and practice of formal techniques for netw... Volledige beschrijving
? points 573 b
237.24 €
In extern magazijn in kleine hoeveelheid Wordt binnen 11-15 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

TOP
Základy Knihy V-VI Eukleides / Boek Gebonden (paperback)
common.buy 7.39 €
Když se hubnout nedaří Marta Boučková / Boek Gebonden (paperback)
common.buy 8.50 €
Fullspace-Projektion Ute B Schroder / Boek Gebonden (harde band)
common.buy 66.57 €
La psychiatrie francophone DELTEIL / Boek Gebonden (paperback)
common.buy 24.21 €
Confidences des noces roman LAURE SYLVIE ADOU DA / Boek Gebonden (paperback)
common.buy 14.28 €
Awele: Awele, o Amante de Vestidos Esther Adewuyi / Boek Gebonden (paperback)
common.buy 9.52 €
Das Paradoxe Geschlecht Gesa Lindemann / Boek Gebonden (paperback)
common.buy 50.46 €
Kohlenwasserstoff Abbaupotenzial von heterotrophen Bakterien in Nigeria Akwukwaegbu Roseline / Boek Gebonden (paperback)
common.buy 58.87 €
Tokyo revengers Ken Wakui / Boek Gebonden (paperback)
common.buy 8.20 €
Boy's Abyss 13 Nana Umino / Boek Gebonden (paperback)
common.buy 9.01 €
Ciao Antonella Abbatiello / Boek Gebonden (harde band)
common.buy 18.43 €
Český jazyk Testové úlohy Roman Kanda / Boek Gebonden (paperback)
common.buy 8.30 €
Die Wirtschaft Bulgariens seit 1945. R. Peter Rochlin / Boek Gebonden (paperback)
common.buy 56.24 €
La Leyenda de la Sombra de la Luna Joe Barfield / Boek Gebonden (paperback)
common.buy 13.06 €
La Revolución Rusa de 1917 VICENTE BLASCO IBAÑEZ / Boek Gebonden (paperback)
common.buy 32.32 €
In meinem Schatten werde ich getragen Tomas Tranströmer / Boek Gebonden (paperback)
common.buy 18.74 €
Informationsverhalten von Studierenden in Bezug auf Versicherungsprodukte - Eine empirische Analyse mit Handlungsempfehlungen fur Versicherungen Andreas Möller / Boek Gebonden (paperback)
common.buy 42.86 €
Die Arbeitersportbewegung in der Schweiz 1874-1947 Dominique M Frankhauser / Boek Gebonden (paperback)
common.buy 43.67 €
Biomedizin Und Ethik Hans-Peter Schreiber / Boek Gebonden (harde band)
common.buy 37.89 €
Memoria canalla de un periodista impertinente. Los géneros clásicos ante las nuevas tecnologías Peñalva Abrisqueta / Boek Gebonden (paperback)
common.buy 29.18 €
Ritter Unterwegs Und Die Pflege Der Gastfreundschaft Im Alten Frankreich Hugo Oschinsky / Boek Gebonden (paperback)
common.buy 25.12 €
Ohnivý most Miroslav Šnajdr / Boek Boek
common.buy 9.62 €
Guide de la Conversation Japonaise (2e Ed)(Ed.1867) Leon De Rosny / Boek Gebonden (paperback)
common.buy 21.27 €
English G Lighthouse - Allgemeine Ausgabe - Band 3: 7. Schuljahr Susan Abbey / Boek Gebonden (harde band)
common.buy 31.61 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Techniques for Networked and Distributed Systems
Auteur yungchul Kim, youngmoon Chin, ungwon Kang, anhyung Lee
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2001
Aantal pagina's 464
EAN 9780792374701
ISBN 0792374703
Libristo-code 01397070
Uitgeverij Springer, Berlin
Gewicht 1850
Afmetingen 155 x 235 x 26

Categorieën

Technologie, techniek, landbouw, industriële processen > Energietechnologie en energietechniek > Elektrotechniek
Informatica en informatietechnologie > Computer hardware > Netwerkhardware
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeringstechnieken
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geneeskunde en verpleging > Geneeskunde: algemene onderwerpen
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Entwined By Fate S a Price / Boek Gebonden (paperback)
common.buy 15.09 €
Girl Zines Alison Piepmeier / Boek Gebonden (paperback)
common.buy 40.73 €
Foreclosed Dreams: A Homeowner's Guide to Foreclosure Ralph Oliver Thompson / Boek Gebonden (paperback)
common.buy 21.27 €
New Issues in Financial Institutions Management Franco Fiordelisi / Boek Gebonden (paperback)
common.buy 61.20 €
Building Birdhouses Dana Meachen Rau / Boek Gebonden (paperback)
common.buy 13.47 €
New Pantheon, Or, Fabulous History of the Heathen Gods, Goddesses, Heroes, &C Samuel Boyse / Boek Gebonden (harde band)
common.buy 36.47 €
Acoustic Guitar Styles SANDBERG / Boek Gebonden (harde band)
common.buy 200.86 €
Tokyo to Tokyo Daniel Doughty / Boek Gebonden (paperback)
common.buy 27.56 €
Spontaneous Aaron Starmer / Boek Gebonden (paperback)
common.buy 11.54 €
TOP
Ultrasound Guided Musculoskeletal Injections Gina M. Allen / Boek Gebonden (harde band)
common.buy 165.99 €
Video Module 4: Culture Bill VanPatten / Audio Audio cd
common.buy 193.05 €
R Graphics Cookbook Winston Chang / Boek Gebonden (paperback)
common.buy 80.97 €
Arkansas Pie: A Delicious Slice of the Natural State Kat Robinson / Boek Gebonden (harde band)
common.buy 29.79 €
Llama Destroys the World Jonathan Stutzman / Boek Gebonden (harde band)
common.buy 15.80 €
How to Build a Cat From Scratch Robert Greene / Boek Gebonden (paperback)
common.buy 11.34 €
Voordelig
Piracetam: 50 things you need to know: Brain boosting nootropics LeRoy Jenkins / Boek Gebonden (paperback)
common.buy 3.74 €
Handbook of a Patriot: Selected Lectures of Swami Vivekananda Aditya Kashyap / Boek Gebonden (paperback)
common.buy 19.35 €
Gaius Marius: The Life and Legacy of the General Who Reformed the Roman Army Charles River / Boek Gebonden (paperback)
common.buy 11.34 €
Chinese Architecture (Cultural China Series, Englische Ausgabe Cai Yanxin / Boek Boek
common.buy 32.32 €
NOVENA TO ST. RITA OF CASCIA FILIPINO PADOVESE / Boek Gebonden (paperback)
common.buy 13.06 €
China in Revolution Mark Selden / Boek Gebonden (harde band)
common.buy 209.47 €
High Season Student's Book Keith Harding / Boek Gebonden (paperback)
common.buy 32.93 €
Evaluation of Research and Development G. Boggio / Boek Gebonden (harde band)
common.buy 118.87 €
Sensing with Ion Channels Boris Martinac / Boek Gebonden (harde band)
common.buy 183.93 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?