Modeling of Dynamic Object Systems: A Logic-based Approach: Vieweg Advanced Studies in Computer Science
Autor Ralf Jungclausde Limba Germană Paperback – 1993
Preț: 345.02 lei
Preț vechi: 431.28 lei
-20%
Puncte Express: 518
Carte tipărită la comandă
Livrare economică 16-30 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783528053864
ISBN-10: 3528053860
Pagini: 252
Ilustrații: XV, 232 S. 5 Abb.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.36 kg
Ediția:1993
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria Vieweg Advanced Studies in Computer Science
Locul publicării:Wiesbaden, Germany
ISBN-10: 3528053860
Pagini: 252
Ilustrații: XV, 232 S. 5 Abb.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.36 kg
Ediția:1993
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria Vieweg Advanced Studies in Computer Science
Locul publicării:Wiesbaden, Germany
Public țintă
ResearchCuprins
1 Introduction.- 2 Information Systems Development.- I Foundations.- 3 Basic Notions of System Specification and Modeling Approaches.- 4 Semantic Concepts.- Language Definition.- 5 Basic Constructs in Troll.- 6 Template, Object, and Class Specifications.- 7 Relating Specifications.- 8 Specification of Systems.- III Discussion.- 9 Related Approaches.- 10 Discussion and Outlook.