>> Amazon.co.jp
このページのQRコード

Formal foundations for software engineering methods

種類:
図書
責任表示:
Heinrich Hußmann
出版情報:
Berlin ; Tokyo : Springer, c1997
著者名:
Hussmann, Heinrich <DA07329412>  
シリーズ名:
Lecture notes in computer science ; 1322 <BA00009279>
ISBN:
9783540636137 [3540636137]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Automated theorem proving in software engineering

Schumann, Johann M., Loveland, Donald W., 1934-

Springer
7 電子ブック Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, …

Ehrig, Hartmut., Floyd, Christiane., Nivat, Maurice., Thatcher, James., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
2 図書 Specification of software systems

Alagar, Vangalur S., 1940-, Periyasamy, K.

Springer
8 図書 Automatic verification of sequential infinite-state processes

Burkart, Olaf

Springer
3 図書 Algebraic foundations of systems specification

Astesiano, E. (Egidio), 1939-, Kreowski, H.-J. (Hans-Jörg), Krieg-Brückner, B. (Bernd)

Springer
9 図書 FME 2001: formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : …

International Symposium of Formal Methods Europe, Oliveira, José N., Zave, Pamela, 1948-

Springer
4 図書 Formal methods and software development : Colloquium on Software Engineering (CSE)

International Joint Conference on Theory and Practice of Software Development, Colloquium on Software Engineering, &hellip;

Springer-Verlag
10 電子ブック Formal Methods and Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, …

Ehrig, Hartmut, Floyd, Christiane, Nivat, Maurice, Thatcher, James, SpringerLink (Online service)

Springer-Verlag
5 図書 Fundamental approaches to software engineering : 4th International Conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice …

FASE, Hussmann, Heinrich, European Conferences on Theory and Practice of Software

Springer
11 図書 Software engineering - ESEC/FSE '99 : 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of …

European Software Engineering Conference, ACM SIGSOFT Symposium on the Foundations of Software Engineering, Nierstrasz, &hellip;

Springer
6 電子ブック Foundations of Algebraic Specification and Formal Software Development

Sannella, Donald., Tarlecki, Andrzej., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 図書 Nondeterminism in algebraic specifications and algebraic programs

Hussmann, Heinrich

Birkhäuser