Search

Your search returned 9 results.

Results
		No cover image available Formal specification and software development by Bjorner, Dines \| Jones, Cliff B \| . Series: Edition: Language: English Publication details: Englewood Cliffs ; : Prentice-Hall International, 19 ; Availability: Items available for loan: 1 Call number: 681.3.06 Bjo. Place hold Add to cart (remove)
		Logics of specification languages by \| Bjorner, Dines \| Bjorner, Dines. Series: Monographs in theoretical computer science : an EATCS seriesEdition: Language: English Publication details: Berlin ; Springer ; 2008Availability: Items available for loan: 1 Call number: 681.3.06:517.1Log. Place hold Add to cart (remove)
		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