Book (30 Nov 1990)
Not available for sale
Out of stock
The contributions to this book are from researchers and practitioners concerned with the theory and application of formal methods to the specification, testing and verification of protocols for open systems. Being the tenth in a successful series of symposia, a special feature of the book is a number of invited papers on the same theme, ``The First Ten Years, The Next Ten Years''.
| ISBN: | 9780444888105 |
| Publisher: | North-Holland |
| Imprint: | North-Holland |
| Pub date: | 30 Nov 1990 |
| DEWEY: | 004.62 |
| DEWEY edition: | 20 |
| Language: | English |
| Number of pages: | 415 |
| Weight: | -1g |
| Height: | 220mm |
$2.08off
The Alignment Problem
Paperback
Published 02 Sep 2021
Save $2.08
$3.53off
Resisting AI
Paperback
Published 15 Jul 2022
Save $3.53
$2.28off
A World Beyond Work?
Paperback
Published 15 Jan 2021
Save $2.28
$7.37off
Parents Talking Algorithms
Paperback
Published 09 Dec 2024
Save $7.37
$7.37off
Making Information Matter
Paperback
Published 15 Oct 2024
Save $7.37
$6.75off
Dialogues in Data Power
Paperback
Published 03 Sep 2024
Save $6.75
Cyberlibertarianism
Hardback
Published 02 Dec 2024
$25.76off
Parents Talking Algorithms
Hardback
Published 09 Dec 2024
Save $25.76
$7.01off
Controversial Encounters in the...
Paperback
Published 27 Nov 2024
Save $7.01
$13.31off
Digital Technologies, Smart Cit...
Hardback
Published 22 Oct 2024
Save $13.31