SULJE VALIKKO

avaa valikko

Carolyn L. Talcott | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?



Formal Methods for Open Object-Based Distributed Systems IV - IFIP TC6/WG6.1. Fourth International Conference on Formal Methods
Scott F. Smith; Carolyn L. Talcott
Springer (2000)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Open Object-Based Distributed Systems IV : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods
Scott F. Smith (ed.); Carolyn L. Talcott (ed.)
Springer (2012)
Pehmeäkantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Open Object-Based Distributed Systems IV - IFIP TC6/WG6.1. Fourth International Conference on Formal Methods
172,80 €
Springer
Sivumäärä: 422 sivua
Asu: Kovakantinen kirja
Painos: 2000
Julkaisuvuosi: 2000, 31.08.2000 (lisätietoa)
Kieli: Englanti
Tuotesarja: IFIP Advances in Information and Communication Technology 49
Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented 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.
Papers in this volume focus on the following specific technologies:

components;
mobile code;
Java®;
The Unified Modeling Language (UML);
refinement of specifications;
types and subtyping;
temporal and probabilistic systems.

This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Formal Methods for Open Object-Based Distributed Systems IV - IFIP TC6/WG6.1. Fourth International Conference on Formal Methods
Näytä kaikki tuotetiedot
ISBN:
9780792379232
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste