Kód: 02598647
Foundations of Algebraic Specification and Formal Software Development
Autor Donald Sannella, Andrzej Tarlecki
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification. It concentrates on developing basic concepts and studying their fundamental propert ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 584
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014
- Viac informácií o knihe
87.06 €
Bežne: 89.51 €
Ušetríte 2.45 €
Skladom u dodávateľa
Odosielame za 6 - 8 dní
Mohlo by sa vám tiež páčiť
-
Schnittpunkt Mathematik 7. Ausgabe Thüringen
34.40 € -
La vie en mieux
21.88 € -
Abenteuer des schwarzen Gerard 2
36.31 € -
Becoming the People of the Talmud
39.64 € -2 % -
Identity and Stability in Marriage
45.90 € -
International Organizations
78.99 € -
Magical Mystery oder: Die Rückkehr des Karl Schmidt
11.19 € -9 %
Darčekový poukaz: Radosť zaručená
- Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
- Poukaz sa vzťahuje na všetky produkty v našej ponuke.
- Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
- Platnosť poukazu je 12 mesiacov od dátumu vystavenia.
Viac informácií o knihe Foundations of Algebraic Specification and Formal Software Development
Nákupom získate 218 bodov
Anotácia knihy
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification. It concentrates on developing basic concepts and studying their fundamental properties.
Parametre knihy
Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations
87.06 €
- Celý názov: Foundations of Algebraic Specification and Formal Software Development
- Autor: Donald Sannella, Andrzej Tarlecki
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 584
- EAN: 9783642440656
- ISBN: 3642440657
- ID: 02598647
- Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Hmotnosť: 908 g
- Rozmery: 235 × 155 × 236 mm
- Dátum vydania: 01. March 2014
Obľúbené z iného súdka
-
Goedel's Proof
14.32 € -10 % -
Category Theory in Context
27.23 € -23 % -
Metamathematics of Fuzzy Logic
240.53 € -
Proof-theoretic Semantics
28.64 € -
First Order Mathematical Logic
13.01 € -19 % -
To Mock a Mockingbird: and Other Logic Puzzles
13.31 € -28 % -
Proofs and Refutations
24 € -10 % -
Limitless Mind
14.52 € -26 % -
Illustrated Book of Bad Arguments
13.11 € -22 % -
Oxford Handbook of Philosophy of Mathematics and Logic
70.92 € -
Axiom of Choice
12.50 € -22 % -
Categories for the Working Mathematician
58.81 € -17 % -
Conceptual Mathematics
62.55 € -4 % -
Sets, Sequences and Mappings
8.77 € -21 % -
Set Theory
31.77 € -
Foundations of Mathematics
32.18 € -
Proof Theory
20.98 € -18 % -
Logic For Dummies
19.26 € -25 % -
Metalogic
42.67 € -
Schaum's Outline of Set Theory and Related Topics
23.70 € -20 % -
Basic Proof Theory
65.98 € -
Logic
11.29 € -28 % -
Logic: A Very Short Introduction
9.27 € -28 % -
Beginner's Guide to Mathematical Logic
21.18 € -28 % -
Naive Set Theory
11.29 € -28 % -
Elements of Mathematics
22.59 € -7 % -
Can You Solve My Problems?
12.20 € -22 % -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
21.08 € -
Concise Introduction to Pure Mathematics
58.91 € -1 % -
Model Theory
28.75 € -19 % -
Introduction to Logic and to the Methodology of Deductive Sciences
13.21 € -
In Pursuit of the Traveling Salesman
14.52 € -19 % -
Category Theory
80.81 € -5 % -
Taking Sudoku Seriously
54.68 € -
2000 Solved Problems in Discrete Mathematics
31.67 € -13 % -
Handbook of Mathematical Induction
75.56 € -
First-order Logic
8.57 € -29 % -
Teaching Multiplication Using LEGO(R) Bricks
22.09 € -1 % -
Principles of Mathematics
29.65 € -
Foundations of Geometry
9.07 € -
Beginner's Further Guide To Mathematical Logic, A
28.14 € -
Logician and the Engineer
18.86 € -10 % -
Names of the Lion
16.64 € -10 % -
Higher Topos Theory (AM-170)
121.67 € -
Interactive Theorem Proving and Program Development
73.04 € -18 % -
Lambda Calculus with Types
105.12 € -
From Frege to Goedel
62.34 € -
Arithmetic
23.50 € -4 % -
Introduction to Logic
12.20 € -23 %
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
21 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)