 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 4419  |
| ||
 |
Ihre Aktion | Suchen (Alle Wörter (XALL)) specification |
||
| |
| |
| |
|
|
|
|
 |
1. |
Formal systems specification : the RPC-memory specification case study Broy, Manfred *1949-*. - Berlin : Springer, 1996 ... Merz Katharina Spies (Eds.) Formal Systems Specification The RPC-Memory Specification Case Study ... ... Manfred Broy, Leslie Lamport: The RPC-Memory Specification Problem - Problem Statement … The Procedure ... |
|
| |||
 |
2. |
Formal systems specification : the RPC-memory specification case study Broy, Manfred. - Online-Ausg.. - Berlin [u.a.] : Springer, 1996 ... Merz Katharina Spies (Eds.) Formal Systems Specification The RPC-Memory Specification Case Study ... ... Manfred Broy, Leslie Lamport: The RPC-Memory Specification Problem - Problem Statement … The Procedure ... |
|
| |||
|
3. |
Software specification methods : an overview using a case study Frappier, Marc. - London : Springer, c 2001 ... Frappier and Henri Habrias (Eds) Software Specification Methods An Overview Using a Case Study fi» ... ... XXI State-Based Approaches Z: A Formal Specification Notation Jonathan P. Bowen … Overview ... |
|
| |||
|
4. |
Recent trends in data type specification : selected papers Astesiano, Egidio. - Berlin : Springer, 1995 ... Tarlecki (Eds.) Recent Trends in Data Type Specification 10th Workshop on Specification of Abstract ... ... Logical Frameworks … M. Wirsing Algebraic Specification Languages: An Overview … Contributed Papers ... |
|
| |||
|
5. |
Formal specification : techniques and applications Nissanke, Nimal *1943-*. - London : Springer, 1999 Nimal Nissanke Formal Specification Techniques and Applications Springer Contents … Introduction ... ... Springer Contents … Introduction … Specification and Correctness … Specification as a Contract ... |
|
| |||
|
6. |
Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers Bidoit, Michel. - Berlin : Springer, 1993 ... Choppy (Eds.) Recent Trends in Data Type Specification 8th Workshop on Specification of Abstract ... ... surveys E. Astesiano and G. Reggio Algebraic specification of concurrency … H.-D. Ehrich, M. Gogolla ... |
|
| |||
|
7. |
Recent trends in data type specification : selected papers Ehrig, Hartmut. - Berlin : Springer, 1994 ... Orejas (Eds.) Recent Trends in Data Type Specification 9th Workshop on Specification of Abstract ... ... F. Orejas Semantic constructions in the specification language Glider … S. Conrad On certification ... |
|
| |||
|
8. |
Specification of software systems Alagar, Vangalur S. *1940-*. - New York : Springer, 1998 V.S. Alagar K. Periyasamy SPECIFICATION OF SOFTWARE SYSTEMS With … Illustrations Springer Contents ... ... Springer Contents Preface v … The Role of Specification … Software Complexity … Size Complexity ... |
|
| |||
|
9. |
Recent trends in data type specification : selected papers Haveraaen, Magne. - Berlin : Springer, 1996 ... Dahl (Eds.) Recent Trends in Data Type Specification 11th Workshop on Specification of Abstract ... ... Reggio Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case ... |
|
| |||
|
10. |
Evaluating parallel processing of communication protocols Walch, Markus. - München : Oldenbourg, 1994 ... … The XTP Implementation … The XTP Specification … Parametrization of the Specification ... ... Configurations Summary … A New Approach to the Specification of Communication Protocols … Requirements ... |
|
| |||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
|
1 - 10 von 4419 |
|
|
|
1 - 10 von 4419 |
|
||||||||||||||||||||