Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

High-Integrity Software

High-Integrity Software

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781468457759
Condition
New
Product Description

4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4. 8 Conclusions 5 Reliable programming in standard languages 102 Bernard Carre, Program Validation Ltd. 5. 1 Introduction 102 5. 2 Language requirements for high-integrity programming 103 5. 3 The use of standard languages 108 5. 4 Programming in Pascal and Ada 110 1'19 5. 5 Practical experiences NewSpeak: a reliable programming language 6 122 I. F. Currie, Royal Signals and Radar Establishment 6. 1 Introduction 122 6. 2 Types and values 127 6. 3 Declarations and variables 132 6. 4 Guarded declarations 134 6. 5 Cases and conditionals 136 6. 6 Loops 138 6. 7 Procedures 140 6. 8 Assertions 145 6. 9 Timing 147 6. 10 Conclusion 149 6. 11 Appendix 1: summary of syntax 150 6. 12 Appendix 2: type lattice and widening 156 7 Program analysis and systematic testing 159 M. A. Hennell, University of Liverpool, and D. Hedley and I. J. Riddell, Liverpool Data Research Associates Ltd. 7. 1 Introduction 159 7. 2 The basic requirement 160 7. 3 The Liverpool experience 161 7. 4 The Liverpool experiments 162 7. 5 The LDRA Testbeds 163 Interpretation 169 7. 6 7. 7 Applicability and benefits 171 7. 8 Safety-critical systems 173 VI 8 Program analysis and verification 176 Bernard Carre, Program Validation Ltd. 8. 1 Introduction 176 8.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Handbook of Pediatric Surgery

$109.99

Towards Mesoscience

$54.99

Laser Photobiology and Photomedicine

$39.99

Mathematik fr Informatik und BioInformatik

$49.99

New Perspectives in Molecular and Clinical Management of Gastrointestinal Tumors

$84.99

Advancements in Knowledge Distillation: Towards New Horizons of Intelligent Systems

$169.00

Die Schtzung erwarteter Renditen in der modernen Kapitalmarkttheorie

$59.99

Image and Video Compression Standards

$259.00

Die leisen Stimmen der Vernunft

$69.99

Transactions on Petri Nets and Other Models of Concurrency XV

$39.99

Bestanden wird im Kopf!

$29.99

Solid State Gas Sensors - Industrial Application

$219.99

Vernderungen im Schlerhabitus?

$64.99

Tragisches Handeln in Raum und Zeit

$39.99

Negotiating Normativity

$109.99

Marktorientierte Unternehmensbewertung

$69.99

Foreign Aid in the Twenty-First Century

$84.99

kophysik

$69.99

Design of Multi-Bit Delta-Sigma A/D Converters

$129.00

Rntgendiagnostik der Oberen Speise- und Atemwege, der Atemorgane und des Mediastinums Teil 4c / Roe

$59.99

Das Mensch-Tier-Verhltnis

$74.99

Die Lebendige Masse

$84.99

Model Predictive Control System Design and Implementation Using MATLAB

$199.99

Capitalism and Social Cohesion

$109.99

Reshaping Learning

$109.99

Vom Lsen numerischer Probleme

$9.99

The Physics of Laser Plasmas and Applications - Volume 2

$99.99

Facebook und Co

$49.99

Magersucht und Bulimia

$84.99

Experiential Learning for Professional Helpers

$109.99

Intellectuals and Politics in Post-War France

$39.99

Numerical Simulation of Compressible Navier-Stokes Flows

$109.99

Diagnostik intrakranieller Blutungen beim Neugeborenen

$69.99

Parallels in Cell to Cell Junctions in Plants and Animals

$84.99

Conceptualizing Germanys Energy Transition

$59.99

Private Sector Development and Urbanization in China

$109.99

Ethology and Behavioral Ecology of Mysticetes

$179.99

Graphs from Rings

$169.99

Sicherheitsmanagement in TCP/IP-Netzen

$49.99

Automatisiertes Fahren 2024

$119.00