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

A Survey of verification techniques for parallel programs

種類:
図書
責任表示:
Howard Barringer
出版情報:
Berlin ; New York : Springer-Verlag, c1985
著者名:
Barringer, Howard, 1951- <DA00978803>  
シリーズ名:
Lecture notes in computer science ; 191 <BA00009279>
ISBN:
9783540152392 [3540152393] (: gw)  CiNii Books  Calil
9780387152394 [0387152393] (: us)  CiNii Books  Calil
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック A Survey of Verification Techniques for Parallel Programs

Barringer, Howard, SpringerLink (Online service)

Springer-Verlag
7 図書 Future parallel computers : an advanced course, Pisa, Italy, June 9-20, 1986 : proceedings

Advanced Course on Future Parallel Computers, Treleaven, P. C. (Philip C.), 1950-, Vanneschi, Marco, European Strategic &hellip;

Springer-Verlag
2 電子ブック A Survey of Verification Techniques for Parallel Programs

Barringer, Howard., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

Parikh, Rohit, 1936-

Springer-Verlag
3 図書 From logic design to logic programming : theorem proving techniques and P-functions

Snyers, Dominique, 1959-, Thayse, André, 1940-

Springer-Verlag
9 図書 Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85)

International Joint Conference on Theory and Practice of Software Development, Colloquium on Trees in Algebra and &hellip;

Springer-Verlag
4 図書 Parallel programming : techniques and applications using networked workstations and parallel computers

Wilkinson, Barry, 1956-, Allen, C. Michael

Prentice Hall
10 図書 Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986

Logic Programming Conference, 新世代コンピュータ技術開発機構, 和田, 英一(1931-)

Springer-Verlag
5 図書 The science of programming

Gries, David, 1939-

Springer-Verlag
11 図書 Automata, languages and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings

International Colloquium on Automata, Languages and Programming, Ottmann, Thomas

Springer-Verlag
6 図書 A connotational theory of program structure

Royer, James S., 1952-

Springer-Verlag
12 図書 Category theory and computer programming : Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : proceedings

Tutorial and Workshop on Category Theory and Computer Programming, Pitt, David (David H.)

Springer-Verlag