Passer au contenu principal Passer au contenu du pied de page

Data Refinement: Model-oriented Proof Methods And Their Comparison

Willem-paul De Roever , Kai Engelhardt

3 décembre 1998

183,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 920 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

436

Cambridge Tracts in Theoretical Computer Science

Publié par: Cambridge University Press

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

ISBN: 9780521641708

System Firmware: An Essential Guide To Open Source And Embedded Solutions

Subrata Banik Couverture souple
94,95 $
2 formats offerts
Dare to be Different: (A Handbook on Practical Management Insights)

Narendar V Rao Couverture souple
22,95 $
2 formats offerts
Dare to be Different: (A Handbook on Practical Management Insights)

Narendar V Rao Couverture rigide
51,95 $
A Computational View Of Autism: Using Virtual Reality Technologies In Autism Intervention

Uttama Lahiri Couverture rigide
233,95 $
2 formats offerts
SQL Injection Strategies: Practical techniques to secure old vulnerabilities against modern attacks

Edoardo Caselli Couverture souple
46,99 $
2 formats offerts
Domain-Specific Conceptual Modeling: Concepts, Methods and ADOxx Tools

Dimitris Karagiannis Couverture souple
321,50 $
Model-Driven Development of Advanced User Interfaces

Heinrich Hussmann Couverture souple
248,50 $
2 formats offerts
Domain-specific Conceptual Modeling: Concepts, Methods And Adoxx Tools

Dimitris Karagiannis Couverture rigide
291,95 $
A Computational View Of Autism: Using Virtual Reality Technologies In Autism Intervention

Uttama Lahiri Couverture souple
233,95 $
Mastering Data-Intensive Collaboration and Decision Making: Research And Practical Applications In The Dicode Project

Nikos Karacapilidis Couverture rigide
160,95 $
2 formats offerts
Workload-sensitive Timing Behavior Analysis for Fault Localization in Software Systems

Matthias Rohr Livre numérique Kobo
15,99 $
Android App Development: From Concept to Code

Prasun Barua Couverture souple
37,95 $
Object-Oriented Behavioral Specifications

Haim Kilov Couverture souple
248,50 $
2 formats offerts
The Tcp/ip Guide: A Comprehensive, Illustrated Internet Protocols Reference

Charles M. Kozierok Couverture rigide
117,49 $ ~~Réduction sur le prix courant 124,95 $ à~~
2 formats offerts
Practical Paranoia iOS 16 Security Essentials: The Easiest, Step-By-step, Most Comprehensive Guide to Securing Data and Communications on Your Home and Office IPhone and IPad

Marc Louis Mintz Couverture souple
84,50 $
Computational Reconstruction Of Missing Data In Biological Research

Feng Bao Couverture souple
80,50 $
2 formats offerts
Formal Methods for Multi-Agent Feedback Control Systems

Lars Lindemann Couverture souple
105,00 $
2 formats offerts
Building Data-Driven Applications with LlamaIndex: A practical guide to retrieval-augmented generation (RAG) to enhance LLM applications

Andrei Gheorghiu Couverture souple
56,99 $
Mathematical and Computational Studies on Progress, Prognosis, Prevention and Panacea of Breast Cancer

Suhrit Dey Couverture souple
116,95 $
3 formats offerts
Humane Ai Pin User Guide: Your Wearable Companion for Effortless Communication, Smart Interaction, and a New Era of Privacy-Conscious Technology

Felix Dan Fincher Couverture souple
18,50 $

Évaluation éditoriale

Auteur

Fundamentals Of Logic And Computation: With Practical Automated Reasoning And Verification

Zhe Hou Couverture rigide
94,95 $
2 formats offerts
Concise Guide to Numerical Algorithmics: The Foundations and Spirit of Scientific Computing

John Lawrence Nazareth Couverture souple
80,50 $
2 formats offerts
Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle Mciver Couverture souple
248,50 $
2 formats offerts
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

Zhe Hou Couverture souple
94,95 $
On Doubly-Efficient Interactive Proof Systems

Oded Goldreich Couverture souple
97,50 $
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Robert L. Carpenter Couverture souple
63,95 $
Principles Of Parallel Scientific Computing: A First Guide To Numerical Concepts And Programming Methods

Tobias Weinzierl Couverture souple
72,95 $
2 formats offerts
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Hartmut Ehrig Couverture souple
80,50 $
2 formats offerts
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

E. -R. Olderog Couverture souple
63,95 $
2 formats offerts
The Finite Element Method: Theory, Implementation, And Applications

Mats G. Larson Couverture souple
102,50 $
3 formats offerts
Algorithms for Constructing Computably Enumerable Sets

Kenneth J. Supowit Couverture souple
94,95 $
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

Manfred Broy Couverture souple
80,50 $
2 formats offerts
Modern Language Models and Computation: Theory with Applications

Alexander Meduna Couverture souple
160,95 $
3 formats offerts
A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory

T. H. Tse Couverture souple
53,95 $
2 formats offerts
Solving Higher-order Equations: From Logic To Programming

Christian Prehofer Couverture souple
160,95 $
Computational Complexity And Property Testing: On The Interplay Between Randomness And Computation

Itai Benjamini Couverture souple
114,35 $ ~~Réduction sur le prix courant 145,95 $ à~~
2 formats offerts
Topics in the General Theory of Structures

Couverture souple
220,95 $
2 formats offerts
Optimized Bayesian Dynamic Advising: Theory And Algorithms

Couverture souple
220,95 $
2 formats offerts
Algorithms for Constructing Computably Enumerable Sets

Kenneth J. Supowit Couverture rigide
94,95 $
2 formats offerts
Domain Modeling-based Software Engineering: A Formal Approach

Ruqian Ruqian Lu Couverture souple
321,50 $
2 formats offerts