Formal Program Development With Approximations

Lecture Notes in Computer Science - Germany
doi 10.1007/11415787_22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

More About TAS and IsaWin — Tools for Formal Program Development

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Formal Methods for Automated Program Improvement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Skew-Products With Simple Approximations

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1978English

Topology Reconfiguration With Successive Approximations

2007English

A Formal Model for Defect Detection Using Symbolic Program Execution

Proceedings of the Institute for System Programming of the RAS
2019English

Frameworks: The Future of Formal Software Development?

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1998English

Composition by Colimit and Formal Software Development

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Rational Invariant Subspace Approximations With Applications

IEEE Transactions on Signal Processing
Electronic EngineeringSignal ProcessingElectrical
2000English

Development of Robot Control Program With Optimizing Compiler.

Journal of the Robotics Society of Japan
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy