logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Steve Schneider's Books back

language per page order
Concurrent and Real-Time Systems: The CSP Approach - Steve Schneider
Concurrent and Real-Time Systems: The CSP Approach
by Steve Schneider (author)
publisher: John Wiley & Sons publish date: November 15th 1999
format: paperback pages: 526
language: English
ISBN: 0471623733 (9780471623731)
Zb 2005: Formal Specification And Development In Z And B: 4th International Conference Of B And Z Users, Guildford, Uk, April 13 15, 2005, Proceedings ... / Programming And Software Engineering) - Steve Schneider, Helen Treharne
Zb 2005: Formal Specification And Development In Z And B: 4th International Conference Of B And Z Users, Guildford, Uk, April 13 15, 2005, Proceedings ... / Programming And Software Engineering)
by Steve Schneider (author), Helen Treharne (author)
publisher: Springer publish date: April 7th 2005
format: paperback
language: English
ISBN: 3540255591 (9783540255598)
Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers (Lecture ... Computer Science / Security and Cryptology) - Theo Dimitrakos, Fabio Martinelli, Peter Y.A. Ryan, Steve Schneider
Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers (Lecture ... Computer Science / Security and Cryptology)
by Theo Dimitrakos (author), Steve Schneider (author), Fabio Martinelli (author), Peter Y.A. Ryan (author)
publisher: Springer publish date: June 2nd 2010
format: kindle pages: 259
language: English
ASIN: B000V3E74Q
The B Method (Cornerstones Of Computing) - Steve Schneider
The B Method (Cornerstones Of Computing)
by Steve Schneider (author)
ISBN: 033379284X (9780333792841)
Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers (Lecture Notes in Computer Science) - Ali E. Abdallah, Peter Ryan, Steve Schneider
Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers (Lecture Notes in Computer Science)
by Peter Ryan (author), Steve Schneider (author), Ali E. Abdallah (author)
publisher: Springer publish date: October 10th 2008
format: kindle pages: 240
language: English
ASIN: B0013L44NO
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.