Passer au contenu principal Passer au contenu du pied de page

Logics of Specification Languages

Dines Bjorner Édition : Martin C. Henson

7 décembre 2007

248,50 $

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

Description

Langue

anglais

Pages

624

Monographs in Theoretical Computer Science. An EATCS Series

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783540741060

Geometrical Dimensioning and Tolerancing For Design, Manufacturing and Inspection: A Handbook For Geometrical Product Specification Using Iso and Asme Standards

Georg Henzold Couverture souple
177,95 $
2 formats offerts
A Survey of Computer Programs for Chemical Information Searching; NBS Technical Note 85

Couverture rigide
38,95 $
Intermediate Mathematical Analysis

Anthony E Labarre Couverture souple
20,95 $
Mathematical Models for Biological Pattern Formation

Philip K. Maini Couverture souple
248,50 $
3 formats offerts
Deep Learning Architectures: A Mathematical Approach

Ovidiu Calin Couverture rigide
145,95 $
2 formats offerts
Techniques for Designing and Analyzing Algorithms

Douglas R. Stinson Couverture souple
110,95 $
3 formats offerts
Mathematical Modelling: A Graduate Textbook

Majid Jaberi-Douraki Couverture rigide
144,95 $
2 formats offerts
Preparatory Mathematics for Use in Technical Schools (Classic Reprint)

Harold B. Ray Couverture souple
9,57 $
5 formats offerts
An Elementary Treatise On Calculus: A Text Book for Colleges and Technical Schools

Barry MacNutt Couverture souple
38,95 $
An Elementary Treatise On Calculus: A Text Book for Colleges and Technical Schools

William Suddards Franklin Couverture rigide
37,73 $
L-Functions and Arithmetic

Couverture souple
101,95 $
Simplified Industrial Mathematics

John H Wolfe Couverture souple
37,95 $
Modeling with Data: Tools and Techniques for Scientific Computing

Ben Klemens Couverture rigide
138,00 $
Applying Mathematics To Construction: Carpentry Mathematics & Estimating

Kenneth Williams Couverture souple
58,95 $
Principles And Techniques In Combinatorics

Chuan Chong Chen Couverture souple
56,95 $
Design and Construction of a Liquid Hydrogen Temperature Refrigeration System; NBS Technical Note 38

Couverture souple
18,50 $
Crc Standard Mathematical Tables And Formulas

Daniel Zwillinger Couverture rigide
185,50 $
2 formats offerts
Schaum's Outline of Mathematical Handbook of Formulas and Tables

Seymour Lipschutz Couverture souple
28,95 $
2 formats offerts
The Functional Calculus for Sectorial Operators

Markus Haase Couverture rigide
160,95 $
Computer Simulation and Computer Algebra: Lectures for Beginners

Dietrich Stauffer Couverture souple
142,95 $

Évaluation éditoriale

martin c henson

Auteur

Temporal Logic and State Systems

Fred Kröger Couverture souple
131,50 $
2 formats offerts
Elements of Finite Model Theory

Leonid Libkin Couverture souple
145,95 $
2 formats offerts
Modelling Distributed Systems

Wan Fokkink Couverture souple
80,50 $
2 formats offerts
Confluent String Rewriting

Matthias Jantzen Couverture souple
80,50 $
2 formats offerts
Semirings, Automata, Languages

W. Kuich Couverture souple
160,95 $
The Parametric Lambda Calculus: A Metamodel for Computation

Simona Ronchi Della Rocca Couverture souple
80,50 $
2 formats offerts
Regulated Rewriting in Formal Language Theory

Jürgen Dassow Couverture souple
160,95 $
Formal Languages And Compilation

Stefano Crespi Reghizzi Couverture rigide
145,95 $
4 formats offerts
Formal Languages And Compilation

Stefano Crespi Reghizzi Couverture souple
116,95 $
2 formats offerts
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

Klaus Mainzer Couverture rigide
157,95 $
2 formats offerts
Scatter Search: Methodology and Implementations in C

Manuel Laguna Couverture souple
248,50 $
2 formats offerts
Modelling of Computer and Communication Systems

I. Mitrani Couverture souple
53,95 $
An Introduction to Kolmogorov Complexity and Its Applications

Ming Li Couverture souple
110,50 $
2 formats offerts
Visual Group Theory: A Computer-Oriented Geometric Introduction

Stephan Rosebrock Couverture souple
80,50 $
2 formats offerts
Computer and Information Science

Roger Lee Couverture rigide
160,95 $
Introduction to Fuzzy Reliability

Kai-Yuan Kai-Yuan Cai Couverture souple
233,95 $
2 formats offerts
Computer and Information Science

Roger Lee Couverture souple
160,95 $
Introduction to Scientific Computing and Data Analysis

Mark H. Holmes Couverture souple
94,95 $
2 formats offerts
Computer Algebra: An Algorithm-oriented Introduction

Wolfram Koepf Couverture rigide
87,95 $
Advances in Applied Mathematics, Modeling, and Computational Science

Roderick Melnik Couverture souple
160,95 $
3 formats offerts