Search

Your search returned 7 results.

Results
		Vdm '87 vdm - a formal method at work (e-book) by Bjørner, Dines. Series: Lecture Notes in Computer Science (LNCS) ; v.252Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1987Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Vdm '90 vdm and z - formal methods in software development (e-book) by Bjørner, Dines. Series: Lecture Notes in Computer Science (LNCS) ; v.428Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1990Online access: Click here to access online Availability: Items available for reference: Not for loan (1) . Add to cart (remove)
		Formal methods in programming and their applications (e-book) by Bjørner, Dines. Series: Lecture Notes in Computer Science (LNCS) ; v.735Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1993Online access: Click here to access online Availability: Items available for reference: Not for loan (1) . Add to cart (remove)
		Perspectives of system informatics (e-book) by Bjørner, Dines. Series: Lecture Notes in Computer Science (LNCS) ; v.1181Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1996Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Perspectives of system informatics (e-book) by Bjørner, Dines. Series: Lecture Notes in Computer Science (LNCS) ; v.1755Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2000Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Perspectives of system informatics (e-book) by Bjørner, Dines. Series: Lecture Notes in Computer Science (LNCS) ; v.2244Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2001Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Domain science and engineering (e-book) by Bjørner, Dines. Series: Monographs in Theoretical Computer Science. An EATCS SeriesMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2021Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha