Algebraic Specification.
von Bergstra (Ed.), Heering (Ed.); Verlag: acm Press. Frontier Series,
Hardcover Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use.
Program Specification - Proceedings of a Workshop Aarhus, Denmark, August 1981
1982 Kartoniert, 436 Seiten, 235mm x 155mm x 24mm, Sprache(n): eng Program specification: Issues and observations.- Example 1: Geometrical constructions.- Example 1: Geometrical constructions.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index gene…
Formal Specification - Techniques and Applications
von Nimal Nissanke
1999 Kartoniert, 316 Seiten, 235mm x 155mm x 18mm, Sprache(n): eng Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications. It covers both model-based and algebraic…
Formal Systems Specification - The RPC-Memory Specification Case Study
1996 Kartoniert, 572 Seiten, 235mm x 155mm x 31mm, Sprache(n): eng The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-m…
Software Specification Methods - An Overview Using a Case Study
2000 Kartoniert, 312 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng This is the only up-to-date survey of specification techniquesObjectives of this Book This book is an introduction to a set of software specification methods. Its tar geted audience are readers who do not wish to read pages of d…
Formal Specification Level - Concepts, Methods, and Algorithms
von Rolf Drechsler, Mathias Soeken
2014 Gebunden, 148 Seiten, 241mm x 160mm x 14mm, Sprache(n): eng Serves as a single-source reference to a new level of abstraction for embedded systems, known as the Formal Specification Level (FSL)Provides a variety of use cases which can be adapted to readers' specific design flowsIncludes a c…
Formal Specification Level - Concepts, Methods, and Algorithms
von Rolf Drechsler, Mathias Soeken
2016 Kartoniert, 148 Seiten, 235mm x 155mm x 9mm, Sprache(n): eng Serves as a single-source reference to a new level of abstraction for embedded systems, known as the Formal Specification Level (FSL) Provides a variety of use cases which can be adapted to readers' specific design flows Include…
Reliable Requirement Specification - An Approach To Defect Analysis
von Sandeep Kumar Nayak
2016 Kartoniert, 132 Seiten, 220mm x 150mm x 8mm, Sprache(n): eng An act of discovering unknown thing or simply a need to understand something based on quantitative or qualitative analysis, or a mix of both may vary from controlled experiments to quasi-experiments or pre-experimental designs. Th…
Generating Alloy Specification - From Textual User Requirements Written in Natural Language
von Kiramat Rahman, Shabaz Ahmed Khan Ghayure
2012 Kartoniert, 88 Seiten, 220mm x 150mm x 6mm, Sprache(n): eng Software requirements are typically written in textual forms using a natural language. This is a very common way for writing user requirements, since it allows non-technical stakeholders to read, comment and discuss the requirement…
Neural Cell Specification - Molecular Mechanisms and Neurotherapeutic Implications
2012 Kartoniert, 332 Seiten, 254mm x 178mm x 19mm, Sprache(n): eng The last decades have witnessed a radical change in our views on central nervous system damage and repair. This change is not only due to the emergence of new powerful tools for the analysis of the brain and its reactions to insu…
- Volltext
- specifications
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!