Horizon Information Portal

Browsing results matching Programming with specifications : an introduction to ANNA, a language for specifying Ada programs / David Luckham.

	Title	Format	Author	Pub date
1.	Programming Pig	[electronic resource] /	Gates, Alan, author.	2016.
2.	Programming pioneer Ada Lovelace /		Bodden, Valerie.	c2017.
3.	Programming Ruby 1.9 & 2.0 : the pragmatic programmers' guide /		Thomas, David, 1956- author.	[2013]
4.	Programming Ruby 1.9 and 2.0 : the pragmatic programmers' guide		Thomas, David, 1956- author.	[2013]
5.	Programming Rust : fast, safe systems development /		Blandy, Jim, author.	2017.
6.	Programming Scala	[electronic resource] /	Wampler, Dean, author.	2014.
7.	Programming the BBC micro:bit	[electronic resource] /	Monk, Simon, author.	[2018]
8.	Programming the universe : a quantum computer scientist takes on the cosmos /		Lloyd, Seth, 1960-	2006.
9.	Programming voice interfaces giving connected devices a voice /	[electronic resource] :	Quesada, Walter, author.	2017.
10.	Programming with specifications : an introduction to ANNA, a language for specifying Ada programs /		Luckham, David C.	c1990.