We have over a million books in stock
Sell books
How it works
Contact
Search for a book, author or category...
Fiction
Fiction
World prose
Sci-fi and Fantasy
Detective and Thriller
Romance
Historical prose
Comic books
Educational
Educational
History
Encyclopedia
Hobby and Home
Motivation and Self-help
Psychology
Sport
Culture
Biographies
For kids and young adults
For the youngest
Fairy tales
Accordion books
For younger children
All books for younger readers
First reading
Younger schoolchildren
Fairy tales
Children's encyclopedias
Paper crafts
For older readers
All books for older readers
Older school children
Game books
Fairy tales
Children's encyclopedias
For young adults
All books for young adults
Young Adult
Horror books for young adults
Other categories
Other categories
Cookbooks
Textbooks
Maps and Travel
Esotericism and Religion
Foreign language books
Foreign language books
Polish books
German books
French books
Italian books
Spanish books
Russian books
Tips for Gifts
Who do you want to give a book to?
Gifts for Little Ones
Gifts for Younger Schoolchildren
Gifts for Older Schoolchildren
Gifts for Mom
Gifts for Dad
Gifts for Grandma
Gifts for Grandpa
Take our Advice!
Bestselling books
Books made into Movies
bookbot.com
/
All books
/
Computers, IT, Programming
/
Formal specification
The book is currently out of stock
Formal specification
Authors
Nimal Nissanke
Parameters
ISBN
9781852330026
Publisher
Springer
Categories
Computers, IT, Programming
Book variant
1999
Book purchase
We’ll notify you via email once we track it down.
Watch book availability
19991999
19991999