>> Google Books

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

フォーマット:
図書
責任表示:
Roland Backhouse, José Nuno Oliveira (eds.)
言語:
英語
出版情報:
Berlin : Springer, c2000
形態:
vii, 255 p. : ill. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 1837 <BA00009279>
書誌ID:
BA47400469
ISBN:
9783540677277 [3540677275]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings

International Conference on the Mathematics of Program Construction, Bird, R. S. (Richard Simpson), 1943-, Morgan, C. C. &hellip;

Springer-Verlag
7 電子ブック Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

Hutchison, David, Tygar, Doug, Nierstrasz, Oscar, Weikum, Gerhard, Audebaud, Philippe, Kanade, Takeo, Kittler, Josef, &hellip;

Springer-Verlag
2 図書 Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings

International Conference on the Mathematics of Program Construction, Möller, Bernhard, 1953-

Springer
8 図書 Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of …

European Symposium on Programming, Smolka, Gert, European Conferences on Theory and Practice of Software

Springer
3 図書 Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

International Conference on the Mathematics of Program Construction, Jeuring, Johan, 1965-

Springer
9 図書 Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings

SAS, Cousot, Patrick, 1948-

Springer
4 図書 Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989, …

International Conference on the Mathematical Foundation of Programming Semantics, Main, Michael, 1956-

Springer-Verlag
10 図書 Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings

SAS, Palsberg, Jens

Springer
5 図書 Automata, languages and programming : 30th International Colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings

International Colloquium on Automata, Languages and Programming, Baeten, Jos C. M.

Springer
11 図書 Automata, languages and programming : 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings

International Colloquium on Automata, Languages and Programming, Orejas, Fernando, Spirakis, P. G. (Paul G.), 1955-, &hellip;

Springer
6 電子ブック Mathematics of Program Construction : 8th International Conference MPC 2006 Kuressaare Estonia July 3-52006 Proceedings

Uustalu Tarmo, SpringerLink (Online service)

Springer-Verlag GmbH.
12 図書 Automata, languages and programming : 29th International Colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 : proceedings

International Colloquium on Automata, Languages and Programming, Widmayer, Peter

Springer