VDM '87. VDM - A Formal Method at Work
Editat de Dines Bjørner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuholden Limba Engleză Paperback – 11 mar 1987
Preț: 329.14 lei
Preț vechi: 411.42 lei
-20%
Puncte Express: 494
Carte tipărită la comandă
Livrare economică 23 iulie-06 august
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: 9783540176541
ISBN-10: 3540176543
Pagini: 436
Ilustrații: XI, 422 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.66 kg
Ediția:1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540176543
Pagini: 436
Ilustrații: XI, 422 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.66 kg
Ediția:1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-27%Preț: 676.09 lei926.15 lei -
Software Modeling and DesignHassan Gomaa-20%Preț: 651.70 lei814.63 lei -
KanbanDavid J. Anderson-20%Preț: 254.39 lei317.98 lei -
The Human Side of AgileGil BrozaPreț: 258.49 lei -
Software EngineeringPer Runeson-8%Preț: 478.98 lei520.62 lei -
Professional GitBrent Laster-20%Preț: 256.30 lei320.38 lei -
Python AlgorithmsMagnus Lie Hetland-20%Preț: 468.00 lei584.99 lei -
The Definitive Guide to HTML5 WebSocketVanessa Wang-20%Preț: 372.28 lei465.36 lei -
Head First AgileAndrew Stellman-20%Preț: 337.90 lei422.37 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 299.70 lei374.63 lei -
Design It! : Pragmatic ProgrammersMicahel Keeling-20%Preț: 250.02 lei312.52 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 368.74 lei460.93 lei -
Information and Communication TechnologyIsmail Khalil-20%Preț: 325.63 lei407.04 lei -
Types for Proofs and ProgramsHerman Geuvers-20%Preț: 324.41 lei405.51 lei -
Logic ProgrammingCatuscia Palamidessi-20%Preț: 745.71 lei932.13 lei -
Advances in Learning Software OrganizationsGrigori Melnik-20%Preț: 330.61 lei413.26 lei -
Communicating Sequential Processes. The First 25 YearsAli E. Abdallah-20%Preț: 324.41 lei405.51 lei -
Object Modeling with the OCLTony Clark-20%Preț: 321.74 lei402.18 lei -
Invasive Software CompositionUwe Aßmann-20%Preț: 332.54 lei415.68 lei -
-20%Preț: 327.36 lei409.20 lei -
Formal Description of Programming ConceptsErich J. Neuhold-20%Preț: 644.93 lei806.17 lei -
Principles and Practice of Constraint Programming - CP98Michael Maher-20%Preț: 634.32 lei792.91 lei -
-20%Preț: 321.94 lei402.43 lei -
Automata, Languages and ProgrammingLars Arge-20%Preț: 658.47 lei823.10 lei -
Theoretical Aspects of Computing - ICTAC 2007Cliff B. Jones-20%Preț: 332.39 lei415.48 lei -
Dependable and Historic ComputingCliff B. Jones-20%Preț: 334.25 lei417.82 lei
Public țintă
ResearchCuprins
VDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three generations of Ada formal descriptions.- Experience with VDM in NORSK DATA.- Using VDM in an Object-Oriented development method for Ada software.- The stepwise development of software development graphs — Meta-programming VDM developments.- Heap storage specification and development.- VDM as a specification method for telecommunications software.- Support environments for VDM.- Development and application of a META IV compiler.- From VDM to RAISE.- Denotational engineering or from denotations to syntax.- A type model for VDM.- A formal description of object-oriented programming using VDM.- VDM proof obligations and their justification.- Mathematical structures and their morphisms in Meta-IV.- Objectives of the British Standardisation of a language to support the Vienna development method.- Use of VDM within CCITT.- A formal semantics for a DataFlow Machine — Using VDM.- to the VDM tutorial.- Specification by data types.- Data reification and program decomposition.