Explore Books on
formalism
1-14 of 14 Books
Russian Formalism
By Peter Steiner,P. Steiner,Peter Steiner
Framing formalism
By Richard Woodfield,Hans Sedlmayr
Defining the IEEE-854 floating-point standard in PVS
Defining the IEEE-854 floating-point standard in PVS
By Paul S. Miner
Distributed state-space generation of discrete-state stochastic models
Distributed state-space generation of discrete-state stochastic models
By Gianfranco Ciardo
Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request
Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request
By Ben L. Di Vito
A simple method for nucleon-nucleon cross sections in a nucleus
A simple method for nucleon-nucleon cross sections in a nucleus
By Ratikanta Tripathi
Interpretation of IEEE-854 floating-point standard and definition in the HOL system
Interpretation of IEEE-854 floating-point standard and definition in the HOL system
By Victor A. Carreño
Konsten att sätta texter i verket
Konsten att sätta texter i verket
By Nils Olsson
Experiences using lightweight formal methods for requirements modeling
Experiences using lightweight formal methods for requirements modeling
By S. M. Easterbrook
The detailed balance requirement and general empirical formalisms for continuum absorption
The detailed balance requirement and general empirical formalisms for continuum absorption
By Q. Ma
VISUAL EF9ECTS | Architecture and the Chess Game of Form & Story
By JEF7REY HILDNER