A Tutorial Introduction to Designs in Unifying Theories of Programming

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-24756-2_4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Angelic Nondeterminism in the Unifying Theories of Programming

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2006English

A Tutorial Introduction to Autonomous Systems

IFAC Proceedings Volumes
2008English

A Tutorial on Satisfiability Modulo Theories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Generalized Semi-Infinite Programming: A Tutorial

Journal of Computational and Applied Mathematics
Computational MathematicsApplied Mathematics
2008English

Unifying Themes in Topological Field Theories

Surveys in Differential Geometry
2002English

A Tutorial Introduction to Object-Oriented Simulation and SIM+ +

1989English

Automotive Cyber–Physical Systems: A Tutorial Introduction

IEEE Design and Test
HardwareElectronic EngineeringElectricalArchitectureSoftware
2016English

Continuity in Semantic Theories of Programming

History and Philosophy of Logic
Philosophy of ScienceHistory
2015English

Letter to the Editor—Toward a Unifying Theory for Integer Linear Programming

Operations Research
Management ScienceComputer Science ApplicationsOperations Research
1969English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy