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 - FORTE 2008

28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Techniques for Networked and Distributed Systems - FORTE 2008 Kenji Suzuki
Libristo-code: 01567774
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mei 2008
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on F... Volledige beschrijving
? points 125 b
51.55 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Wordt verwacht
Kulturpolitik der Länder: Niederösterreich Heimo Konrad / Boek Gebonden (paperback)
common.buy 82.33 €
Gloria Benito Perez Galdos / Boek Gebonden (paperback)
common.buy 23.50 €
Infektion durch Humanpathogene - Ein Rezeptor im Visier Verena Bachmann / Boek Gebonden (paperback)
common.buy 62.86 €
La Science est dans le citron Jack Guichard / Boek Gebonden (harde band)
common.buy 11.29 €
SULPHUR Le dictionnaire des symboles maléfiques Bernardi / Boek Gebonden (paperback)
common.buy 36.72 €
Barbapapa en famille ! - Quand je serai grand Alice Taylor / Boek Gebonden (harde band)
common.buy 7.86 €
Hrdinové ohně BD Joseph Kosinski / Video Video
common.buy 17.25 €
RENAIXENÇA I LA RUTA DEL CISTER, LA ROCA RICART / Boek Gebonden (paperback)
common.buy 14.72 €
جدار الملح الهدي &#15 / Boek Gebonden (paperback)
common.buy 15.73 €
narratore ferito. Corpo, malattia, etica Arthur W. Frank / Boek Gebonden (paperback)
common.buy 37.33 €
Wordt verwacht
LAS MORADAS FILOSOFALES FULCANELLI / Boek Gebonden (harde band)
common.buy 36.62 €
Grammatica siriaca (rist. anast.) Massimo Pazzini / Boek Gebonden (paperback)
common.buy 38.13 €
Lex Salica Jakob Friedrich Behrend / Boek Gebonden (paperback)
common.buy 19.67 €
Say You Swear Anne Morgenrau / Boek Gebonden (paperback)
common.buy 14.42 €
XXL Cosori Heißluftfritteuse Doppelkammer Dual Zone Rezeptbuch Linda Tauber / Boek Gebonden (paperback)
common.buy 21.48 €

This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2008, held in Tokyo, Japan, in June 2008 co-located with TestCom/FATES 2008.§The 19 revised full papers and 1 revised short paper presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover new approaches, concepts and experience in the application of formal methods for the specification and verification of distributed systems and applications. Special focus is put on ubiquitous, grid, and mobile computing systems, and also on the application of formal techniques to service oriented architectures as well as security issues in networked systems. The papers are organized in topical sections on abstraction, verification, specification framework, application, theory, and reliability of networked systems.

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 - FORTE 2008
Auteur Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2008
Aantal pagina's 344
EAN 9783540688549
ISBN 3540688544
Libristo-code 01567774
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 551
Afmetingen 155 x 235 x 21

Categorieën

Informatica en informatietechnologie > Computer hardware > Netwerkhardware
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Computernetwerken en communicatiesystemen > Netwerkstandaarden en -protocollen
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
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

Excavating Modernity Eleanor Dobson / Boek Gebonden (harde band)
common.buy 208.56 €
Wordt verwacht
Native and Modified Starches for Food Applications Pothiyappan Karthik / Boek Gebonden (paperback)
common.buy 173.65 €
Forbidden Desire in Early Modern Europe Male-Male Sexual Relations, 1400-1750 (Hardback) Malcolm / Boek Gebonden (harde band)
common.buy 31.98 €
Report on China's Cruise Industry Hong Wang / E-book Adobe ePub DRM
common.buy 160.13 €
My First Book About Space CHIARA PIRODDI / Boek Gebonden (paperback)
common.buy 7.96 €
1000+ Sudoku Jocky Books / Boek Gebonden (paperback)
common.buy 15.53 €
Writing on the Fault Line Martin (Florida State University) Munro / Boek Gebonden (paperback)
common.buy 63.06 €
Voordelig
Best Patient Experience Robert Snyder / Boek Gebonden (paperback)
common.buy 27.34 €
Untouchable: Unraveling the Myth That You're Too Faithful to Fall Renee Ertl / Digitaal Digitaal
common.buy 13.31 €
TOP
Destruction of the European Jews Raul Hilberg / Boek Gebonden (paperback)
common.buy 24.81 €
Signature in the Schools, Volume I Joe Calarco / Boek Gebonden (paperback)
common.buy 19.97 €
Innovations in Power Systems Reliability George Anders / Boek Gebonden (paperback)
common.buy 153.97 €
To Be a Jewish Woman Lisa Aiken Ph D / Boek Gebonden (paperback)
common.buy 25.52 €
All Animals To Be Born Jason Miller / Boek Gebonden (paperback)
common.buy 13.51 €
Lord Looseth the Prisoners James Anderson / Boek Gebonden (paperback)
common.buy 12.60 €
Dynamic Disequilibrium Modeling: Theory and Applications William A. BarnettGiancarlo GandolfoClaude Hillinger / Boek Gebonden (paperback)
common.buy 70.73 €
Essential Medical Genetics - Includes FREE Desktop Edition 6e Tobias / Boek Gebonden (paperback)
common.buy 62.86 €
In the Palaces of Heaven Christopher Paul Carter / Boek Gebonden (paperback)
common.buy 18.35 €
Fugitive Pieces. in Prose and Verse. by the Members of the H.B.B. Club. Anonymous / Boek Gebonden (paperback)
common.buy 17.04 €
Lost Name, Vol II of III Joseph Sheridan Le Fanu / Boek Gebonden (paperback)
common.buy 28.34 €
Plays of Shakespeare, Volume 8 William Shakespeare / Boek Gebonden (harde band)
common.buy 39.14 €
In the Midst of Winter Mary J. Moffat / Boek Gebonden (paperback)
common.buy 16.34 €
Copyright Law Sym American Society of Composers / Boek Gebonden (harde band)
common.buy 131.27 €
Inequalities for Differential Forms Craig Nolder / Boek Gebonden (paperback)
common.buy 102.71 €

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?