Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Methods for Open Object-Based Distributed Systems

Name: Formal Methods for Open Object-Based Distributed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567776
Price: 48.91 EUR
Availability: InStock
Author: Gilles Barthe
ISBN: 9783540688624

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

Gilles Barthe

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01567776

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 2008

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on F... Celoten opis

Koda Libristo: 01567776

118 b

48.91 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Návrat k Bohu Karl Jakob Hirsch

Trda

8.40 €

Koruna Evropy Jaromír Zaoral

Trda

19.03 €

Polítiques d'inserció sociolaboral Rosell Morales

Mehka

23.08 €

La isla en el horizonte Echavarría (Puerto Rico)

Mehka

16.30 €

La Caída de Porthos Embilea,: El País de la Niebla 2 Galán

Mehka

19.84 €

Гигиена животных. Рабочая тетрадь для лабораторно-практических занятий и самостоятельной работы. Учебное пособие для вузов А.Ф. Кузнецов

Mehka

20.15 €

Argumente kontra Religion Gottfried Beyvers

Mehka

15.08 €

Jóga Rhyner Hans H.

Mehka

8.30 €

Teología de bolsillo: Breve diccionario de la religión cristiana Iago Gómez Bellas

Mehka

23.08 €

millonario de la puerta de al lado (EXITO) (Spanish Edition) Thomas J. Stanley

Mehka

13.36 €

O Bairro de Gonçalo M. Tavares Fabiano Cardoso

Mehka

46.18 €

Branche Versicherungen Gbi Genios

Mehka

42.12 €

Einführung eines integrierten ERP-Systems bei einem IT-Dienstleister Patrick Herzog

Mehka

44.76 €

Zur Geschichte Der Religion Und Philosophie in Deutschland Heinrich Heine

Trda

21.06 €

Qualitat von Verkehrskenngroessen aus Videomessungen Hilger Schneider

Mehka

15.28 €

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.