Formal Methods for Open Object-based Distributed Systems / Nejlevnější knihy
Formal Methods for Open Object-based Distributed Systems

Kód: 01386956

Formal Methods for Open Object-based Distributed Systems

Autor Howard Bowman, John Derrick

This book 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 t ... celý popis

5236


Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.


Přidat mezi přání

Mohlo by se vám také líbit

Dárkový poukaz: Radost zaručena

Objednat dárkový poukazVíce informací

Více informací o knize Formal Methods for Open Object-based Distributed Systems

Nákupem získáte 524 bodů

Anotace knihy

This book 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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Object-oriented programming (OOP)

5236

Oblíbené z jiného soudku



Osobní odběr Praha, Brno a 47512 dalších

Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies


Můj účet: Přihlásit se
Všechny knihy světa na jednom místě. Navíc za skvělé ceny.

Nákupní košík ( prázdný )

Vyzvednutí v Balikovně a PPL
boxech
zdarma nad 1 499 Kč.

Nacházíte se: