More About TAS and IsaWin — Tools for Formal Program Development

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-46428-x_26
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Formal Development for Railway Signaling Using Commercial Tools

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Formal Program Development With Approximations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Special Session: Tools for Program Development and Analysis in Computational Science

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Formal Methods for Automated Program Improvement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

A Formal Model for Forensic Storage Media Preparation Tools

2014English

Formal Proofs of Code Generation and Verification Tools

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

The Formal and Informal Tools of Design Governance

Journal of Urban Design
DevelopmentArtsHumanitiesUrban StudiesPlanningGeography
2016English

Instructional Development Programs for International TAs: A Systems Analysis Approach

To Improve the Academy
1991English

About Tools for Management of Fashion and Fashion Communication

RUDN Journal of Psychology and Pedagogics
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy