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 - Vazba: Brožovaná
- Počet stran: 584
Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014
- Více informací o knize
Mohlo by se vám také líbit
-
Identity and Stability in Marriage
1032 Kč -
Anglo-Saxon England: Volume 26
2884 Kč -
Becoming the People of the Talmud
1075 Kč -
International Organizations
1959 Kč -
Schnittpunkt Mathematik 7. Ausgabe Thüringen
943 Kč -
Abenteuer des schwarzen Gerard 2
965 Kč -
La vie en mieux
562 Kč
Darujte tuto knihu ještě dnes
- Objednejte knihu a zvolte Zaslat jako dárek.
- Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nic se nestaráte.
Více informací o knize Foundations of Algebraic Specification and Formal Software Development
Nákupem získáte 240 bodů
Anotace 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.
Parametry knihy
Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations
2402 Kč
- Plný název: Foundations of Algebraic Specification and Formal Software Development
- Autor: Donald Sannella, Andrzej Tarlecki
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 584
- EAN: 9783642440656
- ISBN: 3642440657
- ID: 02598647
- Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Hmotnost: 908 g
- Rozměry: 235 × 155 × 236 mm
- Datum vydání: 01. March 2014
Oblíbené z jiného soudku
-
Set Theory
854 Kč -
Foundations of Mathematics
1103 Kč -
Introduction to Logic and to the Methodology of Deductive Sciences
350 Kč -
Goedel's Proof
358 Kč -
To Mock a Mockingbird: and Other Logic Puzzles
329 Kč -
Oxford Handbook of Philosophy of Mathematics and Logic
1832 Kč -
Questions, Inferences, and Scenarios
582 Kč -
Schaum's Outline of Set Theory and Related Topics
612 Kč -
Logic
302 Kč -
Logic: A Very Short Introduction
268 Kč -
Beginner's Guide to Mathematical Logic
569 Kč -
Illustrated Book of Bad Arguments
341 Kč -
In Pursuit of the Traveling Salesman
428 Kč -
Taking Sudoku Seriously
1416 Kč -
2000 Solved Problems in Discrete Mathematics
753 Kč -
Logician and the Engineer
585 Kč -
Higher Topos Theory (AM-170)
3112 Kč -
Naive Set Theory
276 Kč -
Art of Proof
1221 Kč -
Algebras and Representation Theory
1164 Kč -
Naive Set Theory
536 Kč -
Dictionary of Argumentation
867 Kč -
Logical Dilemmas
1587 Kč -
Limitless Mind
444 Kč -
Category Theory in Context
714 Kč -
Naive Set Theory
282 Kč -
Elements of Mathematics
576 Kč -
Can You Solve My Problems?
302 Kč -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
541 Kč -
Concise Introduction to Pure Mathematics
1569 Kč -
Model Theory
728 Kč -
Category Theory
1995 Kč -
Axiom of Choice
322 Kč -
Teaching Multiplication Using LEGO(R) Bricks
595 Kč -
Foundations of Geometry
268 Kč -
Principles of Mathematics
798 Kč -
First-order Logic
242 Kč -
Handbook of Mathematical Induction
1959 Kč -
Beginner's Further Guide To Mathematical Logic, A
750 Kč -
Names of the Lion
441 Kč -
Categories for the Working Mathematician
1643 Kč -
Conceptual Mathematics
1673 Kč -
Mathematical Logic
1919 Kč -
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory
1604 Kč -
Kurt Goedel: Collected Works
2373 Kč -
My Best Mathematical and Logic Puzzles
266 Kč -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
685 Kč -
Introduction to Logic
322 Kč -
Proofs and Refutations
606 Kč
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Balíkovna za 49 Kč
Vrácení do měsíce
571 999 099 (8-15.30h)