Your search returned 8 results.

Sort
Results
Object-oriented software construction

by Meyer, Bertrand | .

Series: Edition: 2nd ed Language: English Publication details: ; Upper Saddle River : Prentice Hall PTR, 1997 ; 1997Availability: Items available for loan: 1 Call number: 681.3.06 Mey.

Introduction to the theory of programming languages

by Meyer, Bertrand | .

Series: Edition: Language: English Publication details: New York ; Prentice-Hall, ; 1990Availability: Items available for loan: 1 Call number: 681.3.06 Mey.

Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD, Zurich, Switzerland, Feb. 5-6, 2007

by | Meyer, Bertrand | Meyer, Bertrand.

Series: Lecture notes in computer science ; 4716Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 2007Availability: Items available for loan: 1 Call number: 681.3.06Sof:1:07.

Verified software : theories, tools, experiments : 1st IFIP TC 2/WG 2.3 conference, VSTTE, Zurich, Switzerland, Oct. 10-13, 2005

by | Meyer, Bertrand | Meyer, Bertrand.

Series: Lecture notes in computer science ; v.4171Edition: Language: English Publication details: Berlin ; Springer ; 2008Availability: Items available for loan: 1 Call number: 681.3.06Ver:1:05.

Tests and proofs (e-book)

by Meyer, Bertrand.

Series: Lecture Notes in Computer Science (LNCS) ; v.4454Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2007Online access: Click here to access online Availability: Items available for reference: Online (1) .

Software engineering approaches for offshore and outsourced development (e-book)

by Meyer, Bertrand.

Series: Lecture Notes in Computer Science (LNCS) ; v.4716Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2007Online access: Click here to access online Availability: Items available for reference: Online (1) .

Verified software: theories, tools, experiments (e-book)

by Meyer, Bertrand.

Series: Lecture Notes in Computer Science (LNCS) ; v.4171Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2008Online access: Click here to access online Availability: Items available for reference: Online (1) .

Balancing agility and formalism in software engineering (e-book)

by Meyer, Bertrand.

Series: Lecture Notes in Computer Science (LNCS) ; v.5082Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2008Online access: Click here to access online Availability: Items available for reference: Online (1) .

Pages

Powered by Koha