Jeżeli nie znalazłeś poszukiwanej książki, skontaktuj się z nami wypełniając formularz kontaktowy.

Ta strona używa plików cookies, by ułatwić korzystanie z serwisu. Mogą Państwo określić warunki przechowywania lub dostępu do plików cookies w swojej przeglądarce zgodnie z polityką prywatności.

Wydawcy

Literatura do programów

Informacje szczegółowe o książce

Formal Methods for Open Object-Based Distributed Systems - ISBN 9780792384298

Formal Methods for Open Object-Based Distributed Systems

ISBN 9780792384298

Autor: Ciancarini, Fantechi, Gorrieri

Wydawca: Springer

Dostępność: Wysyłka w ciągu 2-3 dni

Cena: 862,05 zł


ISBN13:      

9780792384298

ISBN10:      

0792384296

Autor:      

Ciancarini, Fantechi, Gorrieri

Rok Wydania:      

1999

Tematy:      

Object-oriented programming (OOP)

Author: Paolo Ciancarini
Publisher: Springer; 1st edition (February 28, 1999)
Language: English
Hardcover: 452 pages
ISBN-10: 0792384296
ISBN-13: 978-0792384298
Product Dimensions: 9 x 7.1 x 1.2 inches
Shipping Weight: 1.9 pounds

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.

Koszyk

Książek w koszyku: 0 szt.

Wartość zakupów: 0,00 zł

ebooks
covid

Kontakt

Gambit
Centrum Oprogramowania
i Szkoleń Sp. z o.o.

Al. Pokoju 29b/22-24

31-564 Kraków

+48 12 414 3791

+48 12 414 3387


Siedziba Księgarni

ul. Kordylewskiego 1

31-542 Kraków

+48 12 410 5989

+48 12 414 3767

Zobacz na mapie google

Wyślij e-mail

Subskrypcje

Administratorem danych osobowych jest firma Gambit COiS Sp. z o.o. Na podany adres będzie wysyłany wyłącznie biuletyn informacyjny.

Autoryzacja płatności

PayU

Informacje na temat autoryzacji płatności poprzez PayU.

PayU banki

© Copyright 2012: GAMBIT COiS Sp. z o.o. Wszelkie prawa zastrzeżone.

Projekt i wykonanie: Alchemia Studio Reklamy