Assertion-based design / Harry Foster, Adam Krolik, David Lacey
Assertion-based design / Harry Foster, Adam Krolik, David Lacey. 2nd ed
Autor
Foster, Harry
Ostali autori
Izdanje
2nd ed
Nakladnik
Materijalni opis
xxiii, 390 str. : ilustr. ; 24 cm
Napomena
Bibliografija: str.379-383.
 
Kazalo.
Klasifikacijska oznaka
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
 
00A06 Mathematics for nonmathematicians (engineering, social sciences, etc.)
Jezik
engleski
Standardni broj
ISBN 1-4020-8027-1
 
ISBN 1-4020-8028-X
Građa
Knjigaknjiga
Djelomični sadržaj online

FOSTER, Harry
Assertion-based design / Harry Foster, Adam Krolik, David Lacey. - 2nd ed. - New York : Springer Science+Business Media, 2004. - xxiii, 390 str. : ilustr. ; 24 cm
Bibliografija: str.379-383. - Kazalo.
ISBN 1-4020-8027-1. - 1-4020-8028-X


Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
Zaštićeno autorskim pravom ©1999.-2019. Knjižnice grada Zagreba i VIVaInfo d.o.o. Sva prava pridržana.