Passer au contenu principal Passer au contenu du pied de page

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Markus Müller-olm

6 août 1997

116,95 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 585 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

260

Lecture Notes In Computer Science

Publié par: Springer

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783540634065

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Robert L. Carpenter Couverture souple
63,95 $
Exploring Windows Presentation Foundation: With Practical Applications In .net 5

Taurius Litvinavicius Couverture souple
94,95 $
2 formats offerts
Regularization, Optimization, Kernels, And Support Vector Machines

Johan A.K. Suykens Couverture rigide
207,50 $
2 formats offerts
Model-Driven Development of Advanced User Interfaces

Heinrich Hussmann Couverture souple
248,50 $
2 formats offerts
Agile-Sofl: Agile Formal Engineering Method

Shaoying Liu Couverture souple
72,95 $
Domain-Specific Modeling: Enabling Full Code Generation

Steven Kelly Couverture souple
166,95 $
Agile-Sofl: Agile Formal Engineering Method

Shaoying Liu Couverture rigide
262,95 $
2 formats offerts
Subrecursive Programming Systems: Complexity And Succinctness

James S. Royer Couverture souple
160,95 $
Software Testing Automation: Testability Evaluation, Refactoring, Test Data Generation and Fault Localization

Saeed Parsa Couverture rigide
291,95 $
2 formats offerts
Multilevel Techniques for solving the Satisfiability Problem

Sirar Salih Couverture souple
82,95 $
Supply Chain Performance Evaluation: Application of Data Envelopment Analysis

Farhad Hosseinzadeh Lotfi Couverture rigide
248,50 $
2 formats offerts
Software Testing Automation: Testability Evaluation, Refactoring, Test Data Generation and Fault Localization

Saeed Parsa Couverture souple
291,95 $
Supply Chain Performance Evaluation: Application of Data Envelopment Analysis

Farhad Hosseinzadeh Lotfi Couverture souple
248,50 $
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III

Tiziana Margaria Couverture souple
80,50 $
2 formats offerts
Optimal Surface Fitting of Point Clouds Using Local Refinement: Application to GIS Data

Ga Kermarrec Couverture souple
55,50 $
2 formats offerts
Algorithms And Data Structures: Foundations And Probabilistic Methods For Design And Analysis

Helmut Knebl Couverture rigide
124,50 $
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2

Maurice H. ter Beek Couverture souple
80,50 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Tiziana Margaria Couverture souple
109,50 $
2 formats offerts
Algorithms And Data Structures: Foundations And Probabilistic Methods For Design And Analysis

Helmut Knebl Couverture souple
80,50 $
Focusing Solutions for Data Mining: Analytical Studies and Experimental Results in Real-World Domains

Thomas Reinartz Couverture souple
80,50 $

Évaluation éditoriale

Auteur

Verification of Reactive Systems: Formal Methods and Algorithms

Klaus Schneider Couverture souple
80,50 $
Bem-based Finite Element Approaches On Polytopal Meshes

Steffen Wei Couverture rigide
160,95 $
Drawing Graphs: Methods And Models

Michael Kaufmann Couverture souple
80,50 $
Bem-based Finite Element Approaches On Polytopal Meshes

Steffen Wei Couverture souple
160,95 $
Fundamental Proof Methods In Computer Science: A Computer-based Approach

Konstantine Arkoudas Couverture rigide
79,00 $
An Extended Entity-Relationship Model: Fundamentals and Pragmatics

Martin Gogolla Couverture souple
71,50 $
User Interface Design: A Structured Approach

Siegfried Treu Couverture souple
80,50 $
Formal Methods for Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach Couverture souple
87,95 $
Formal Hardware Verification: Methods and Systems in Comparison

Couverture souple
71,50 $
Algorithms for Sensor and Ad Hoc Networks: Advanced Lectures

Dorothea Wagner Couverture souple
116,95 $
Parsing Schemata: A Framework for Specification and Analysis of Parsing Algorithms

Klaas Sikkel Couverture souple
80,50 $
Group-Theoretic Algorithms and Graph Isomorphism

C M Hoffmann Couverture souple
32,50 $
Meta-Level Control for Deductive Database Systems

Helmut Schmidt Couverture souple
71,50 $
Nonlinear Time-discrete Systems: A General Approach by Nonlinear Superposition

M. Gössel Couverture rigide
193,99 $
A Concise and Practical Introduction to Programming Algorithms in Java

Frank NIELSEN Couverture souple
43,95 $
Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

Couverture souple
64,95 $
Pattern Classification: A Unified View of Statistical and Neural Approaches

Jürgen Schürmann Couverture rigide
263,95 $
Empirical Methods in Natural Language Generation: Data-oriented Methods And Empirical Evaluation

Emiel Krahmer Couverture souple
80,50 $
CAST Methods in Modelling: Computer Aided Systems Theory for the Design of Intelligent Machines

Franz Pichler Couverture souple
160,95 $
Subrecursive Programming Systems: Complexity And Succinctness

James S. Royer Couverture souple
160,95 $