Methodes Formelles Informatique

19 books
Formal methods for hardware verificationInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th 2006 Bertinoro, Italy)
⏱ 4h 3m

Formal methods for hardware verification

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th 2006 Bertinoro, Italy)

2006243 pp.
Formal methods for components and objectsMarcello M. Bonsangue
⏱ 7h 9m

Formal methods for components and objects

Marcello M. Bonsangue

2006429 pp.
Formal Specification Using Z (Computer Science)David Lightfoot
⏱ 18h 9m

Formal Specification Using Z (Computer Science)

David Lightfoot

19911089 pp.
Formal approaches to software testingCarsten Weise
⏱ 3h 39m

Formal approaches to software testing

Carsten Weise

2006219 pp.
Software specification methodsHenri Habrias
⏱ 4h 42m

Software specification methods

Henri Habrias

2000282 pp.
Practical UML statecharts in C/C++Miro Samek
⏱ 12h 8m

Practical UML statecharts in C/C++

Miro Samek

2008728 pp.
Extension Innovation MethodChunyan Yang
⏱ 4h 18m

Extension Innovation Method

Chunyan Yang

2018258 pp.
Formal modeling and analysis of timed systemsWang Yi
⏱ 5h 5m

Formal modeling and analysis of timed systems

Wang Yi

2005305 pp.
Process Algebra for Parallel and Distributed ProcessingMichael Alexander
⏱ 7h 20m

Process Algebra for Parallel and Distributed Processing

Michael Alexander

2008440 pp.
Duration calculusChaochen Zhou
⏱ 4h 7m

Duration calculus

Chaochen Zhou

2004247 pp.
NASA Formal MethodsJulia M. Badger
⏱ 6h 40m

NASA Formal Methods

Julia M. Badger

2014400 pp.
Formal methods in computer-aided designFMCAD 2004 (2004 Austin, Texas)
⏱ 7h 24m

Formal methods in computer-aided design

FMCAD 2004 (2004 Austin, Texas)

2004444 pp.
Formal Methods in Architecture and Urbanism, Volume 2Catarina Ruivo

Formal Methods in Architecture and Urbanism, Volume 2

Catarina Ruivo

2021No page data
Formal methods and object technologyStephen J. Goldsack
⏱ 6h 8m

Formal methods and object technology

Stephen J. Goldsack

1996368 pp.
Formal modeling and analysis of timed systemsUnknown Author
⏱ 6h 9m

Formal modeling and analysis of timed systems

Unknown Author

2006369 pp.
Verification, model checking, and abstract interpretationVMCAI 2004 (2004 Venice, Italy)
⏱ 5h 24m

Verification, model checking, and abstract interpretation

VMCAI 2004 (2004 Venice, Italy)

2004324 pp.
Formal methods for protocol engineering and distributed systemsIFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China)
⏱ 8h 17m

Formal methods for protocol engineering and distributed systems

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China)

1999497 pp.
FM'99-- formal methodsWorld Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France)
⏱ 31h 15m

FM'99-- formal methods

World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France)

19991875 pp.
Perturbation methods, bifurcation theory, and computer algebraR. H. Rand
⏱ 4h 3m

Perturbation methods, bifurcation theory, and computer algebra

R. H. Rand

1987243 pp.