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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Formal Methods for Open Object-Based Distributed Systems

10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods for Open Object-Based Distributed Systems Gilles Barthe
Libristo-code: 01567776
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mei 2008
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on F... Volledige beschrijving
? points 125 b
51.61 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

La Caída de Porthos Embilea,: El País de la Niebla 2 Galán / Boek Gebonden (paperback)
common.buy 17.87 €
Al final mueren los dos SILVERA / Boek Gebonden (paperback)
common.buy 8.68 €
Policarpo Bonilla / Boek Gebonden (paperback)
common.buy 11.51 €
Wordt verwacht Nieuw
Ravenmaster Nina Blazon / Boek Gebonden (harde band)
common.buy 17.36 €
Гигиена животных. Рабочая тетрадь для лабораторно-практических занятий и самостоятельной работы. Учебное пособие для вузов А.Ф. Кузнецов / Boek Gebonden (paperback)
common.buy 22.62 €
Polítiques d'inserció sociolaboral Rosell Morales / Boek Gebonden (paperback)
common.buy 25.24 €
Jóga Rhyner Hans H. / Boek Gebonden (paperback)
common.buy 9.28 €
Koruna Evropy Jaromír Zaoral / Boek Gebonden (harde band)
common.buy 21.40 €
QUI A TUE LE PETIT CANICHE Boek Gebonden (paperback)
common.buy 14.84 €
Návrat k Bohu Karl Jakob Hirsch / Boek Gebonden (harde band)
common.buy 9.48 €
Einführung in Body-Mind Centering Christine Mauch / Boek Gebonden (paperback)
common.buy 37.77 €
Argumente kontra Religion Gottfried Beyvers / Boek Gebonden (paperback)
common.buy 14.43 €
La isla en el horizonte Echavarría (Puerto Rico) / Boek Gebonden (paperback)
common.buy 17.77 €
Il principe. Audiolibro. CD Audio formato MP3 C. Carini / Boek Gebonden (paperback)
common.buy 17.16 €
Teología de bolsillo: Breve diccionario de la religión cristiana Iago Gómez Bellas / Boek Gebonden (paperback)
common.buy 25.24 €
TOP
millonario de la puerta de al lado (EXITO) (Spanish Edition) Thomas J. Stanley / Boek Gebonden (paperback)
common.buy 14.94 €
O Bairro de Gonçalo M. Tavares Fabiano Cardoso / Boek Gebonden (paperback)
common.buy 48.88 €
Branche Versicherungen Gbi Genios / Boek Gebonden (paperback)
common.buy 44.54 €
Einführung eines integrierten ERP-Systems bei einem IT-Dienstleister Patrick Herzog / Boek Gebonden (paperback)
common.buy 49.89 €
Zur Geschichte Der Religion Und Philosophie in Deutschland Heinrich Heine / Boek Gebonden (harde band)
common.buy 22.31 €
Qualitat von Verkehrskenngroessen aus Videomessungen Hilger Schneider / Boek Gebonden (paperback)
common.buy 16.15 €
Kasta metabaronů Alexandro Jodorowsky; Juan Gimenez / Boek Gebonden (paperback)
common.buy 45.55 €

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008.§The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.

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 Methods for Open Object-Based Distributed Systems
Auteur Gilles Barthe
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2008
Aantal pagina's 259
EAN 9783540688624
ISBN 3540688625
Libristo-code 01567776
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 427
Afmetingen 155 x 235 x 16

Categorieën

Informatica en informatietechnologie > Computer hardware > Netwerkhardware
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Besturingssystemen
Informatica en informatietechnologie > Computernetwerken en communicatiesystemen
Informatica en informatietechnologie > Informatica
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

Passages from the diary of General Patrick Gordon of Auchleuchries. A.D. 1635- A.D. 1699 Gordon Patrick Gordon / Boek Gebonden (paperback)
common.buy 22.41 €
Dodger and Me Jordan Sonnenblick / Boek Gebonden (paperback)
common.buy 11.91 €
Re-Storying Education Roberts / Boek Gebonden (paperback)
common.buy 23.32 €
Nocona Shannon Gillette / Boek Gebonden (paperback)
common.buy 20.80 €
Warship 2 – Frigate HMS Leander 2 Jantinus Mulder / Boek Gebonden (paperback)
common.buy 18.58 €
Wordt verwacht
30-Second Maths Richard J. Brown / Boek Gebonden (paperback)
common.buy 10.80 €
Tattoo on my Brain Daniel Gibbs / Boek Gebonden (paperback)
common.buy 12.11 €
Ancient Hebrew: Yeshua Revealed Al Garza / Boek Gebonden (paperback)
common.buy 19.28 €
Jacob Faithful Frederick Marryat / Boek Gebonden (paperback)
common.buy 20.09 €
You Can Count On It: A Mentor's Arithmetic Patterns For Elementary Students Alexander Zabriskie Warren / Boek Gebonden (paperback)
common.buy 29.38 €
Daytona Beach Lifeguards Patti Light / Boek Blad
common.buy 7.87 €
Hybrid Drawing Techniques for Interior Design Jorge Paricio Garcia / E-book Adobe ePub DRM
common.buy 76.76 €
Chinese Medicine in Cancer Care: Herbs-Acupuncture-Qi gong-Nutrition-Prevention Niko Trian / Boek Gebonden (paperback)
common.buy 35.44 €
1000 Mixed Sudoku Puzzles for Smart Minds: Perfect as a Birthday Present - Puzzle Book with Solutions - 9x9 Tommy Wohlfahrt / Boek Gebonden (paperback)
common.buy 14.84 €
Friend in My Head: How to Set Your Goals For Success in Life Birdie Chesson / Boek Gebonden (paperback)
common.buy 10.29 €
Krechinsky's Wedding: A Comedy in Three Acts Alexander Sukhovo-Kobylin / Boek Gebonden (paperback)
common.buy 20.29 €
The Sultan Of Sulu: An Original Satire In Two Acts (1903) George Ade / Boek Gebonden (paperback)
common.buy 22.11 €
The High Crosses of Ireland J. Romilly Allen / Boek Gebonden (harde band)
common.buy 36.35 €
Auguste Comte: His Philosophy, His Religion And His Sociology Annie Besant / Boek Gebonden (paperback)
common.buy 21.20 €
Haitians Jean Casimir / Boek Gebonden (harde band)
common.buy 120.09 €
Kundalini Awakening Jenifer Williams / Boek Gebonden (paperback)
common.buy 15.75 €
In Praise of Copying Marcus Boon / Boek Gebonden (paperback)
common.buy 28.58 €
Cognition, Culture, and Political Momentum William Hirst / Boek Gebonden (harde band)
common.buy 136.86 €
Even Dogs in the Wild Ian Rankin / Boek Gebonden (paperback)
common.buy 12.21 €

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?