A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Formal Methods for Open Object-Based Distributed Systems

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Methods for Open Object-Based Distributed Systems Gilles Barthe
Libristo kód: 01567776
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, május 2008
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on F... Teljes leírás
? points 136 b
20 034 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

La Caída de Porthos Embilea,: El País de la Niebla 2 Galán / Könyv Puha kötésű
common.buy 7 053 Ft
Al final mueren los dos SILVERA / Könyv Puha kötésű
common.buy 3 140 Ft
Policarpo Bonilla / Könyv Puha kötésű
common.buy 4 513 Ft
Hamarosan Új
Ravenmaster Nina Blazon / Könyv Kemény kötésű
common.buy 6 802 Ft
Гигиена животных. Рабочая тетрадь для лабораторно-практических занятий и самостоятельной работы. Учебное пособие для вузов А.Ф. Кузнецов / Könyv Puha kötésű
common.buy 8 100 Ft
Polítiques d'inserció sociolaboral Rosell Morales / Könyv Puha kötésű
common.buy 9 059 Ft
Jóga Rhyner Hans H. / Könyv Puha kötésű
common.buy 3 317 Ft
Hamarosan
Koruna Evropy Jaromír Zaoral / Könyv Kemény kötésű
common.buy 7 658 Ft
QUI A TUE LE PETIT CANICHE Könyv Puha kötésű
common.buy 5 313 Ft
Návrat k Bohu Karl Jakob Hirsch / Könyv Kemény kötésű
common.buy 3 410 Ft
Einführung in Body-Mind Centering Christine Mauch / Könyv Puha kötésű
common.buy 14 711 Ft
Argumente kontra Religion Gottfried Beyvers / Könyv Puha kötésű
common.buy 5 653 Ft
La isla en el horizonte Echavarría (Puerto Rico) / Könyv Puha kötésű
common.buy 6 374 Ft
Il principe. Audiolibro. CD Audio formato MP3 C. Carini / Könyv Puha kötésű
common.buy 6 151 Ft
Teología de bolsillo: Breve diccionario de la religión cristiana Iago Gómez Bellas / Könyv Puha kötésű
common.buy 9 059 Ft
Toplistás
millonario de la puerta de al lado (EXITO) (Spanish Edition) Thomas J. Stanley / Könyv Puha kötésű
common.buy 5 355 Ft
O Bairro de Gonçalo M. Tavares Fabiano Cardoso / Könyv Puha kötésű
common.buy 19 122 Ft
Branche Versicherungen Gbi Genios / Könyv Puha kötésű
common.buy 17 424 Ft
Einführung eines integrierten ERP-Systems bei einem IT-Dienstleister Patrick Herzog / Könyv Puha kötésű
common.buy 17 852 Ft
Zur Geschichte Der Religion Und Philosophie in Deutschland Heinrich Heine / Könyv Kemény kötésű
common.buy 8 733 Ft
Qualitat von Verkehrskenngroessen aus Videomessungen Hilger Schneider / Könyv Puha kötésű
common.buy 6 314 Ft
Kasta metabaronů Alexandro Jodorowsky; Juan Gimenez / Könyv Puha kötésű
common.buy 16 921 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Formal Methods for Open Object-Based Distributed Systems
Szerző Gilles Barthe
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2008
Oldalszám 259
EAN 9783540688624
ISBN 3540688625
Libristo kód 01567776
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 427
Méretek 155 x 235 x 16

Kategória

Számítástechnika és információtechnológia > Számítógépes hardver > Hálózati hardver
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Operációs rendszerek
Számítástechnika és információtechnológia > Számítógépes hálózat és kommunikáció
Számítástechnika és információtechnológia > Számítógéptudomány
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Passages from the diary of General Patrick Gordon of Auchleuchries. A.D. 1635- A.D. 1699 Gordon Patrick Gordon / Könyv Puha kötésű
common.buy 8 747 Ft
Dodger and Me Jordan Sonnenblick / Könyv Puha kötésű
common.buy 4 573 Ft
Re-Storying Education Roberts / Könyv Puha kötésű
common.buy 10 696 Ft
Nocona Shannon Gillette / Könyv Puha kötésű
common.buy 7 714 Ft
Warship 2 – Frigate HMS Leander 2 Jantinus Mulder / Könyv Puha kötésű
common.buy 7 230 Ft
Hamarosan
30-Second Maths Richard J. Brown / Könyv Puha kötésű
common.buy 4 104 Ft
Tattoo on my Brain Daniel Gibbs / Könyv Puha kötésű
common.buy 4 764 Ft
Ancient Hebrew: Yeshua Revealed Al Garza / Könyv Puha kötésű
common.buy 7 467 Ft
Jacob Faithful Frederick Marryat / Könyv Puha kötésű
common.buy 7 788 Ft
You Can Count On It: A Mentor's Arithmetic Patterns For Elementary Students Alexander Zabriskie Warren / Könyv Puha kötésű
common.buy 11 361 Ft
Daytona Beach Lifeguards Patti Light / Könyv Lap
common.buy 2 922 Ft
Hybrid Drawing Techniques for Interior Design Jorge Paricio Garcia / E-könyv Adobe ePub DRM
common.buy 25 612 Ft
Chinese Medicine in Cancer Care: Herbs-Acupuncture-Qi gong-Nutrition-Prevention Niko Trian / Könyv Puha kötésű
common.buy 13 734 Ft
1000 Mixed Sudoku Puzzles for Smart Minds: Perfect as a Birthday Present - Puzzle Book with Solutions - 9x9 Tommy Wohlfahrt / Könyv Puha kötésű
common.buy 5 723 Ft
Friend in My Head: How to Set Your Goals For Success in Life Birdie Chesson / Könyv Puha kötésű
common.buy 3 983 Ft
Krechinsky's Wedding: A Comedy in Three Acts Alexander Sukhovo-Kobylin / Könyv Puha kötésű
common.buy 7 807 Ft
The Sultan Of Sulu: An Original Satire In Two Acts (1903) George Ade / Könyv Puha kötésű
common.buy 8 528 Ft
The High Crosses of Ireland J. Romilly Allen / Könyv Kemény kötésű
common.buy 13 986 Ft
Auguste Comte: His Philosophy, His Religion And His Sociology Annie Besant / Könyv Puha kötésű
common.buy 8 175 Ft
Haitians Jean Casimir / Könyv Kemény kötésű
common.buy 45 721 Ft
Kundalini Awakening Jenifer Williams / Könyv Puha kötésű
common.buy 6 197 Ft
In Praise of Copying Marcus Boon / Könyv Puha kötésű
common.buy 11 078 Ft
Cognition, Culture, and Political Momentum William Hirst / Könyv Kemény kötésű
common.buy 52 257 Ft
Even Dogs in the Wild Ian Rankin / Könyv Puha kötésű
common.buy 4 383 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?