Passer au contenu principal Passer au contenu du pied de page

Understanding Z: A Specification Language and its Formal Semantics

J. M. Spivey

21 janvier 2008

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

Description

Langue

anglais

Pages

140

Cambridge Tracts in Theoretical Computer Science

Publié par: Cambridge University Press

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

ISBN: 9780521054140

Life-Cycle Analysis of Energy Systems: From Methodology to Applications

Bent Sørensen Reliure sans couture
218,00 $
An Introduction to Relational Network Theory: History, Principles, and Descriptive Applications

Adolfo Martín García Couverture souple
39,95 $
2 formats offerts
Discourse Analysis and the Study of Classroom Language and Literacy Events: A Microethnographic Perspective

David Bloome Couverture souple
96,50 $
2 formats offerts
Multilayer Networks: Analysis and Visualization: Introduction to muxViz with R

Manlio De Domenico Couverture souple
248,50 $
CATEGORICAL DATA ANALYSIS AND MULTILEVEL MODELING USING R

Xing Liu Couverture rigide
197,95 $
2 formats offerts
Fundamental Accounting Principles, Volume 1

Kermit D. Larson Couverture souple
125,95 $
What Works in Writing Instruction: Research and Practice, 2nd ed.

DEBORAH Dean Couverture souple
44,50 $
The Relational Database Dictionary: A Comprehensive Glossary of Relational Terms and Concepts, with Illustrative Examples

Livre numérique Kobo
10,99 $ ~~Réduction sur le prix courant 12,99 $ à~~
Materials Evaluation and Design for Language Teaching

Ian McGrath Livre numérique Kobo
42,99 $ ~~Réduction sur le prix courant 52,78 $ à~~
Contemporary Health Studies: An Introduction

Louise Warwick-booth Couverture souple
71,95 $
5 formats offerts
Fragmentation: Toward Accurate Calculations on Complex Molecular Systems

Couverture rigide
205,95 $
2 formats offerts
Understanding Large Language Models: Learning Their Underlying Concepts and Technologies

Thimira Amaratunga Couverture souple
65,95 $
2 formats offerts
Business Statistics for Contemporary Decision Making

Ken Black Couverture rigide
161,95 $
3 formats offerts
Fundamental Accounting Principles, Volume 2

Kermit D. Larson Couverture souple
125,95 $
Fundamentals of Modern VLSI Devices

Livre numérique Kobo
53,99 $ ~~Réduction sur le prix courant 67,41 $ à~~
Density Matrix Renormalization Group (DMRG)-based Approaches in Computational Chemistry

Haibo Ma Couverture souple
325,95 $
2 formats offerts
Scaling And Renormalization In Statistical Physics

John Cardy Couverture souple
92,95 $
Traditions To Treasure

James Brown Couverture souple
22,95 $
Financial Statement Analysis: The Investor's Self-Study to Interpreting & Analyzing Financial Statements, Revised Edition

Charles Woelfel Couverture souple
40,50 $
A Gentle Introduction To Optimization

B. Guenin Couverture souple
62,95 $
2 formats offerts

Évaluation éditoriale

Auteur

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

Robert L. Carpenter Couverture souple
63,95 $
A Practical Introduction To Denotational Semantics

L. Allison Couverture souple
59,95 $
Logic Programming: Operational Semantics and Proof Theory

James H. Andrews Couverture souple
53,95 $
Isomorphisms of Types: from ?-calculus to information retrieval and language design

Roberto Dicosmo Couverture souple
80,50 $
Updating Logical Databases

Marianne Winslett Couverture souple
53,95 $
Introduction To Coalgebra: Towards Mathematics Of States And Observation

Bart Jacobs Couverture rigide
193,34 $
Algorithms for Constructing Computably Enumerable Sets

Kenneth J. Supowit Couverture rigide
94,95 $
2 formats offerts
Fundamentals Of Logic And Computation: With Practical Automated Reasoning And Verification

Zhe Hou Couverture rigide
94,95 $
2 formats offerts
The Alternative Mathematical Model of Linguistic Semantics and Pragmatics

Vil Nov Couverture souple
160,95 $
2 formats offerts
Algorithms for Constructing Computably Enumerable Sets

Kenneth J. Supowit Couverture souple
94,95 $
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
Thinking Programs: Logical Modeling And Reasoning About Languages, Data, Computations, And Executions

Wolfgang Schreiner Couverture rigide
160,95 $
2 formats offerts
Algorithmic Information Theory

Gregory. J. Chaitin Couverture souple
71,95 $
A Recursive Introduction to the Theory of Computation

Carl Smith Couverture souple
80,50 $
2 formats offerts
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

Zhe Hou Couverture souple
94,95 $
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information

Giovanni Sommaruga Couverture souple
80,50 $
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner Couverture souple
116,95 $
Learning And Geometry: Computational Approaches

David Kueker Couverture souple
160,95 $
Phonological Parsing In Speech Recognition

K Church Couverture souple
142,95 $
Extensions of First-Order Logic

Maria Manzano Couverture souple
98,95 $