ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
136
views
0
references
Top references
cited by
89
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
365
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Edinburgh LCF
other
Author(s):
Michael J. Gordon
,
Arthur J. Milner
,
Christopher P. Wadsworth
Publication date
(Print):
1979
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
oa repository (via OAI-PMH doi match)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Islamic and Middle Eastern Studies
Author and book information
Book
ISBN (Print):
978-3-540-09724-2
ISBN (Electronic):
978-3-540-38526-4
Publication date (Print):
1979
DOI:
10.1007/3-540-09724-4
SO-VID:
92c8e34b-bd5b-4283-9927-e6b1765efe92
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Similar content
365
Nota Editorial LCF: Hora de responsabilidad compartida
Authors:
Investigation on LCF Behavior of Welded Joint at Different Temperatures for Bainite Steel
Authors:
Ke Xu
,
Xiongfei Wang
,
Haichao Cui
…
Probabilistic Analysis of LCF Crack Initiation Life of a Turbine Blade under Thermomechanical Loading
Authors:
Hanno Gottschalk
,
Georg Rollmann
,
Sebastian Schmitz
…
See all similar
Cited by
89
A specifier's introduction to formal methods
Authors:
J.M. Wing
A FORMAL PROOF OF THE KEPLER CONJECTURE
Authors:
Thomas Hales
,
MARK ADAMS
,
GERTRUD BAUER
…
Comprehensive formal verification of an OS microkernel
Authors:
Toby Murray
,
Rafal Kolanski
,
Gernot Heiser
…
See all cited by