Software engineering. 1. Abstraction and modelling

Dines Bjørner
Bok · Engelsk · 2006

Utgitt	Berlin : Springer , c2006
Omfang	XXXIX, 711 s.
Emner	Dataabstraksjon Modellering Programutvikling Spesifikasjon
ISBN	3540211497. - 9783540211495