Modeling of Dynamic Object Systems: A Logic-based Approach: Vieweg Advanced Studies in Computer Science
Autor Ralf Jungclausde Limba Germană Paperback – 1993
Preț: 358.70 lei
Preț vechi: 448.37 lei
-20% Nou
Puncte Express: 538
Preț estimativ în valută:
68.65€ • 70.82$ • 58.10£
68.65€ • 70.82$ • 58.10£
Carte tipărită la comandă
Livrare economică 05-19 martie
Preluare comenzi: 021 569.72.76
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
V-ar putea interesa
-
What's Inside My Computer?Christine Zuchora-Walske-32%Preț: 34.05 lei50.30 lei -
SimscriptGerald Kampe-20%Preț: 415.15 lei518.93 lei -
-20%Preț: 350.64 lei438.29 lei -
-20%Preț: 418.93 lei523.66 lei -
-20%Preț: 417.54 lei521.92 lei -
-20%Preț: 355.11 lei443.89 lei -
-20%Preț: 355.11 lei443.89 lei -
-20%Preț: 698.08 lei872.60 lei -
-20%Preț: 354.08 lei442.61 lei -
-20%Preț: 249.55 lei311.94 lei
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.