Search Results

1

VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings /

Berlin ; New York : Springer-Verlag, 1991

Book

2

VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings /

Berlin ; New York : Springer-Verlag, 1990

Book

3

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ’97, Enschede, The Netherlands, April 2-4, 1997 : proceedings /

Berlin ; New York : Springer, 1997

Conference Proceeding Book

4

Software reliability modelling and identification : tutorial papers /

Berlin ; New York : Springer-Verlag, 1988

Book

5

Dreaming in code : two dozen programmers, three years, 4,732 bugs, and one quest for transcendent software /

by Rosenberg, Scott
New York : Crown Publishers, 2007
1st ed.

Book

6

From 0 to 1 : an authoritative history of modern computing /

New York, N.Y. : Oxford University Press, 2002

Book

7

FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : pr...

Berlin ; New York : Springer-Verlag, 1996

Conference Proceeding Book

8

Algebraic methods II : theory, tools, and applications /

Berlin ; New York : Springer-Verlag, 1991

Book

9

VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 proceedings /

Berlin ; New York : Springer-Verlag, 1987

Book

10

Mathematical foundations of software development /

Berlin ; New York : Springer-Verlag, 1985

Conference Proceeding Book

11

Formal methods and software development /

Berlin ; New York : Springer-Verlag, 1985

Conference Proceeding Book

12

Algebraic methods : theory, tools, and applications /

Berlin ; New York : Springer-Verlag, 1989

Book

13

Code craft : the practice of writing excellent code /

by Goodliffe, Pete
San Francisco : No Starch Press, 2007

Book

14

Optimization software guide /

by Moré, Jorge J.
Philadelphia : Society for Industrial and Applied Mathematics, 1993

Book

15

THAID, a sequential analysis program for the analysis of nominal scale dependent variables /

by Morgan, James N., 1918-2018, Messenger, Robert C.
Ann Arbor, Mich. : Survey Research Center, Institute for Social Research, University of Michigan, 1973

Book

16

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings /

Berlin ; New York : Springer-Verlag, 1992

Conference Proceeding Book

17

Introduction to software quality /

by O'Regan, Gerard (Cornelius Gerard)
Cham ; New York : Springer, 2014

Book

18

TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 /

Berlin ; New York : Springer-Verlag, 1987

Conference Proceeding Book

19

TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 /

Berlin ; New York : Springer-Verlag, 1989

Conference Proceeding Book

20

VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /

Berlin ; New York : Springer-Verlag, 1988

Book

Narrow Search