Object-Oriented Behavioral Specifications
Sparad:
| Huvudupphovsmän: | Kilov, Haim, Harvey, William (Författare, medförfattare) |
|---|---|
| Materialtyp: | Livre numérique |
| Språk: | Anglais |
| Publicerad: |
Cham :
Springer International Publishing
[20..].
Cham : Springer Nature |
| Länkar: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmärkning: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Object-oriented behavioral specifications, Haim Kilov, William Harvey, Boston, Dordrecht, London, Kluwer academic publishers, 1997, 1 vol. (XIII-316 p.), Kluwer International series in Engineering and Computer Science, 0-7923-9778-9 |
Liknande verk
-
Modular specification and verification of object-oriented programs
(Livre numérique)
Müller, Peter, 1961-...., informaticien -
Specification and verification of object-oriented software components
(Livre numérique)
Roth, Andreas
KIT Scientific Publishing, 2021 -
Algebraic specification techniques in object oriented programming environments
(Livre numérique)
Breu, Ruth, 19..- - Behavioral Specifications of Businesses and Systems (Livre numérique)
- Object-Oriented Modeling (Livre numérique)

