Algebraic methodology and software technology : 6th international conference, AMAST'97, Sydney, Australia, December 13-17, 1997 : proceedings

>> Google Books

所蔵情報QRコード

Algebraic methodology and software technology : 6th international conference, AMAST'97, Sydney, Australia, December 13-17, 1997 : proceedings / Michael Johnson (ed.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1997

形態:

x, 594 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 1349 <BA00009279>

著者名:

ISBN:

9783540638889 [3540638881]

書誌ID:

BA3380314X

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index

主題:

Abstract data types (Computer science)--Congresses; Software engineering--Congresses

言語:

英語

目次情報:

The volume presents 48 revised full papers selected from an unusually high number of submissions

One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development

The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations

東工大ブックレビュー

類似資料:

1 図書 Algebraic methodology and software technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings International Conference on Algebraic Methodology and Software Technology, Johnson, Michael, Vene, Varmo Springer	7 図書 Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings International Conference on Algebraic Methodology and Software Technology, Rattray, Charles, Maharaj, Savitri, … Springer
2 図書 Algebraic methodology and software technology : 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : … International Conference on Algebraic Methodology and Software Technology, Kirchner, Hélène, Ringeissen, Christophe, … Springer	8 図書 Proceedings, Australian Software Engineering Conference, September 29-October 2, 1997, Sydney, Australia (: case ; : microfiche) Australian Software Engineering Conference, Bailes, Paul A., Software Engineering Research Consultative Council (SERCC) … IEEE Computer Society
3 図書 Algebraic methodology and software technology : 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings International Conference on Algebraic Methodology and Software Technology, Rus, Teodor Springer	9 図書 Software engineering - ESEC/FSE '97 : 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of … European Software Engineering Conference, Jazayeri, Mehdi, Schauer, H. (Helmut), ACM SIGSOFT Symposium on the … Springer
4 図書 Algebraic methodology and software technology : 7th International Conference, AMAST '98, Amazonia, Brazil, January 4-8, 1999 : proceedings International Conference on Algebraic Methodology and Software Technology, Haeberer, Armando Martín, 1947- Springer	10 図書 Foundations of software technology and theoretical computer science : 19th Conference, Chennai, India, December 13-15, 1999 : proceedings Conference on Foundations of Software Technology and Theoretical Computer Science, Rangan, C. Pandu, Raman, V. … Springer
5 図書 Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings International Conference on Algebraic Methodology and Software Technology, Wirsing, M. (Martin), Nivat, Maurice Springer	11 図書 FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings Conference on Foundations of Software Technology and Theoretical Computer Science, Kapoor, Sanjiv, 1959-, Prasad, … Springer
6 図書 Algebraic methodology and software technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings (: gw) International Conference on Algebraic Methodology and Software Technology, Alagar, Vangalur S., 1940-, Nivat, Maurice Springer-Verlag	12 図書 FSTTCS 2005 : foundations of software technology and theoretical computer science : 25th International Conference, Hyderabad, India, December 15-18, 2005 : … Conference on Foundations of Software Technology and Theoretical Computer Science, Ramanujam, R, Sen, Sandeep Springer