Search

Your search returned 7 results.

Results
		Zum '95: the z formal specification notation (e-book) by Bowen, Jonathan. Series: Lecture Notes in Computer Science (LNCS) ; v.967Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1995Online access: Click here to access online Availability: Items available for reference: Not for loan (1) . Add to cart (remove)
		Zum '97: the z formal specification notation (e-book) by Bowen, Jonathan. Series: Lecture Notes in Computer Science (LNCS) ; v.1212Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1997Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Zum a98: the z formal specification notation (e-book) by Bowen, Jonathan. Series: Lecture Notes in Computer Science (LNCS) ; v.1493Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1998Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Zb 2000: formal specification and development in z and b (e-book) by Bowen, Jonathan. Series: Lecture Notes in Computer Science (LNCS) ; v.1878Material 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)
		Engineering trustworthy software systems (e-book) by Bowen, Jonathan. Series: Lecture Notes in Computer Science (LNCS) ; v.11174Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2018Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Engineering trustworthy software systems (e-book) by Bowen, Jonathan. Series: Lecture Notes in Computer Science (LNCS) ; v.11430Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2019Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Engineering trustworthy software systems (e-book) by Bowen, Jonathan. Series: Lecture Notes in Computer Science (LNCS) ; v.12154Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2020Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha