ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
Rosalind Barden has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
1
cover image for 9780131249349
Product Description: This work is aimed at people who understand the basics of Z and wish to become users. It looks at managerial issues of using Z as well as technical issues, contains a comprehensive glossary which includes some anticipated changes in British Standard, and includes many practical examples...read more
Edition summary (click for prices and details):

Paperback:

9780131249349 | Prentice Hall, February 1, 1995, cover price $48.00 | About this edition: This work is aimed at people who understand the basics of Z and wish to become users.

2
Product Description: Z is currently one of the more popular formal specification languages. Practical experience has shown, however, that the Z schema is insufficient to support the structuring of large specifications, and many attempts have been made to develop adequate extensions to it...read more
Edition summary (click for prices and details):

Paperback:

9780387197784 | Springer Verlag, August 1, 1992, cover price $61.95 | About this edition: Z is currently one of the more popular formal specification languages.

3
Television addicts are tweaked in this tale of a little boy who becomes so absorbed in his TV programs that aliens are able to kidnap him before he even realizes it
Edition summary (click for prices and details):

Hardcover:

9780517569344 | Random House Childrens Books, December 1, 1988, cover price $12.95 | About this edition: A young boy turns into a TV monster after watching too much television and is mistaken for Colonel Bop by aliens who take him aboard their flying saucer and whisk him into outer space.

displaying 1 to 3 | at end