age ~78
from Claremont, CA
This book provides a textbook introduction to the B-Method, a rigorous methodology for the development of correct software. The text covers all stages of the B software development process - from specification, through refinement and design, down to implementation and automatic code generation. The ...
Author
Steve Schneider
Binding
Paperback
Pages
384
Publisher
Palgrave Macmillan
ISBN #
033379284X
EAN Code
9780333792841
ISBN #
7
Security protocols are one of the most critical elements in enabling the secure communication and processing of information, ensuring its confidentiality, integrity, authenticity and availability. These protocols are vulnerable to a host of subtle attacks, so designing protocols to be impervious to ...
Author
Peter Ryan, Steve Schneider, Michael Goldsmith, Gavin Lowe, Bill Roscoe
Binding
Paperback
Pages
320
Publisher
Addison-Wesley Professional
ISBN #
0201674718
EAN Code
9780201674712
ISBN #
2
Author
Steve Schneider
Binding
Paperback
Publisher
AURUM PRESS LTD
ISBN #
1854102907
EAN Code
9781854102904
ISBN #
10
The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular issues that can arise when concurrency is present. It provides a language which enables specifications and designs to be clearly expressed a...
Author
Steve Schneider
Binding
Paperback
Pages
526
Publisher
Wiley
ISBN #
0471623733
EAN Code
9780471623731
ISBN #
5
"What we need in the United States is not division; what we need in the United States is not hatred; what we need in the United States is not violence or lawlessness, but love and wisdom, and compassion toward one another..." -Robert F. KennedyIt was this message that Robert Kennedy took to the Amer...
Author
Steve Schneider
Binding
Paperback
Pages
124
Publisher
iUniverse
ISBN #
0595137016
EAN Code
9780595137015
ISBN #
4
The book is an examination of life on an Indian reservation. It is a story of sadness as well as unbridled joy. It is a story of deprivation and bounty. It is a story of love and hate. It is a story of life as witnessed by two friends growing up in a dysfunctional setting. Two-Fingers is a Blackfeet...
Author
Steve C. Schneider
Binding
Paperback
Pages
276
Publisher
AuthorHouse
ISBN #
1403301409
EAN Code
9781403301406
ISBN #
3
Here is the first comprehensive record of the classic Warner Bros. cartoon studio, wonderfully and richly illustrated in full color. "This comic valentine offers impeccable research, interviews wiuth the animated geniuses who breathed life and laughter into their Looney Tunes, and hundreds of rare i...
Author
Steve Schneider
Binding
Paperback
Pages
252
Publisher
Henry Holt & Co (P)
ISBN #
0805014853
EAN Code
9780805014853
ISBN #
1
Author
Steve Schneider
ISBN #
0805008896
Author
Steve Schneider
ISBN #
0805014853
Author
Steve Schneider
ISBN #
3540206930
Author
Steve Schneider
ISBN #
3540255591
Author
Steve Schneider
ISBN #
3540326286