Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science)

Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science)

Binding:: Paperback
Number of Pages:: 454
ISBN:: 3540518037
Product Group:: book
Publisher:: Springer
Publication Date:: Oct. 11, 1989
BooksForGeeks.com ID:: 17857

Buy Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science) from Amazon »

Reviews for Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science)

There are currently no reviews

Why not be the first to post a review?

CATEGORIES

Architecture:
architecture
patterns
refactoring
scale
soa
uml

Development Tools:
continuousintegration
git
maven
subversion

Miscellania:
cloud
embedded
enterprise
seo
social
software
xml

Operating Systems:
apple
ios
linux
macintosh
redhatlinux
solaris
ubuntu
unix
windows

Systems Admin:
apache
firewall
loadbalancing
nginx
security

Web Development:
ajax
asp
css
flex
html
javascript

Our Network

BooksForGeeks.com is a participant in the Amazon Europe S.à r.l. Associates Programme, an affiliate advertising programme designed to provide a means for sites to earn advertising fees by advertising and linking to amazon.co.uk