Modeling of Dynamic Object Systems: A Logic-based Approach: Vieweg Advanced Studies in Computer Science
Autor Ralf Jungclausde Limba Germană Paperback – 1993
Preț: 351.48 lei
Preț vechi: 439.35 lei
-20% Nou
Puncte Express: 527
Preț estimativ în valută:
67.27€ • 69.87$ • 55.87£
67.27€ • 69.87$ • 55.87£
Carte tipărită la comandă
Livrare economică 03-17 februarie 25
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.00 lei50.30 lei -
SimscriptGerald Kampe-20%Preț: 406.77 lei508.46 lei -
-20%Preț: 343.58 lei429.47 lei -
-20%Preț: 410.49 lei513.11 lei -
-20%Preț: 409.11 lei511.39 lei -
-20%Preț: 347.95 lei434.94 lei -
-20%Preț: 347.95 lei434.94 lei -
-20%Preț: 683.95 lei854.94 lei -
-20%Preț: 346.95 lei433.69 lei -
-20%Preț: 244.48 lei305.60 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.