wyszukanych pozycji: 38
![]() |
The Ennead
ISBN: 9784824124142 / Angielski / Twarda / 2025 / 488 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
154,94 |
![]() |
Gheist
ISBN: 9784867517437 / Angielski / Twarda / 2021 / 362 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
135,57 |
![]() |
Crow Of Thorns
ISBN: 9784867527078 / Angielski / Miękka / 2021 / 224 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
60,71 |
![]() |
Enoch's Vault
ISBN: 9784867514160 / Angielski / Twarda / 2021 / 304 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
106,27 |
![]() |
Crow Of Thorns
ISBN: 9784867527108 / Angielski / Miękka / 2021 / 390 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
96,82 |
![]() |
Enoch's Vault
ISBN: 9784867514191 / Angielski / Twarda / 2021 / 524 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
158,81 |
![]() |
Cas de la for?t de Kolo Hills ?valuation du projet pilote Awf
ISBN: 9786207136872 / Francuski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
224,25 |
![]() |
The Harrowed Garden
ISBN: 9784867511121 / Angielski / Miękka / 2021 / 230 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
60,71 |
![]() |
The Harrowed Garden
ISBN: 9784867511152 / Angielski / Miękka / 2021 / 394 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
96,82 |
![]() |
The Ennead
ISBN: 9784824123930 / Angielski / Miękka / 2025 / 360 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
75,89 |
![]() |
Gheist
ISBN: 9784867517420 / Angielski / Miękka / 2021 / 300 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
75,52 |
![]() |
Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference Caap/Fase, Aarhus, Denmark, May 22 - 26, 1995. Proceeding
ISBN: 9783540592938 / Angielski / Miękka / 1995 / 820 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development.
The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium... This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held...
|
cena:
536,96 |
![]() |
Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language
ISBN: 9783540213017 / Angielski / Miękka / 2004 / 534 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, and carefully summarizes the intended meaning... CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification... |
cena:
404,42 |
![]() |
Declaration Into Tyranny
ISBN: 9781546888000 / Angielski / Miękka / 2017 / 328 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Declaration Into Tyranny. Part One: How living Men, of both genders and all sexual persuasions, surrender their Natural Authority to those who abuse it. It is the legal fiction known as government that steals our Natural Authority to live and thrive on the Planet we all own. Part Two: Describes how the current SI measures are a corruption of original ancient 'Imperial' and 'Metric' measures. This is simple mathematical evidence of a long history of rule by deception. As two plus two equals four. So the hidden system exposed in the book is proved to be. The Conspiracy Theory is proved beyond...
Declaration Into Tyranny. Part One: How living Men, of both genders and all sexual persuasions, surrender their Natural Authority to those who abuse i...
|
cena:
60,57 |
![]() |
Los primeros indicios del Diccionario Marentes (Vol. 2 Palabras 501-1000)
ISBN: 9798848005974 / Hiszpański / Miękka / 2022 / 272 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
44,34 |
![]() |
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
ISBN: 9783540207665 / Angielski / Miękka / 2004 / 246 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This book illustrates and discusses how to write CASL specifications. The authors first describe the origins, aims and scope of CoFI, and review the main concepts of... CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification... |
cena:
202,19 |
![]() |
Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
ISBN: 9783540253273 / Angielski / Miękka / 2005 / 280 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the speci?cation and development of systems, an area that was born around the algebraic speci?cation of abstract data types and encompasses today the formal design of software systems, new speci?cation frameworks and a wide range of application areas. WADT 2004 took place at the Technical University of Catalonia (UPC), Barcelona, Spain, on 27 29 March 2004, and was organized by Fernando Orejas and Jordi...
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT ...
|
cena:
202,19 |
![]() |
Action Semantics
ISBN: 9780521619332 / Angielski / Miękka / 2005 / 396 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness of its semantic descriptions of realistic programming languages. In this volume, Dr Peter Mosses gives a thorough introduction to action semantics, and provides substantial illustrations of its use. Graduates of computer science or maths who have...
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of...
|
cena:
345,80 |