Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal
182,70 €
Springer
Sivumäärä: 436 sivua
Asu: Kovakantinen kirja
Painos: 1999 ed.
Julkaisuvuosi: 1999, 28.02.1999 (lisätietoa)
Kieli: Englanti
Tuotesarja: IFIP Advances in Information and Communication Technology 10
This volume on formal methods for open object-based distributed systems includes the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and 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.

LISÄÄ OSTOSKORIIN
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tilaustuote

Tilaustuote

Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.

Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on FormalSuurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9780792384298
Kansikuva tuotteelle