[PDF] formal verification free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


70 books found   ►also search"formal verification" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
274516 Pallab Dasgupta A roadmap for formal property verification [1 ed.]
1402047576, 9781402047572
Springer 2006 260 English 2 Mb pdf GET
941733 Pallab DasGupta (auth.) A Roadmap for Formal Property Verification [1 ed.]
978-1-4020-4757-2, 978-1-4020-4758-9
Springer Netherlands 2006 252 English 4 Mb pdf GET
28097 Hans Kleine Büning, Theodor Lettmann Software Tools for Technology Transfer
A Survey of Recent Advances in SAT-Based Formal Verification
9780521630177, 0521630177
1999 18 English 181 kb pdf GET
25758 Jain J., Narayan A., Fujita M. A survey of techniques for formal verification of combinational circuits 1997 10 English 299 kb pdf GET
244258 Rolf Drechsler Advanced Formal Verification
1-4020-2530-0
Kluwer 2004 276 English 4 Mb pdf GET
833081 Rolf Drechsler Advanced Formal Verification [1 ed.]
1402077211, 9781402077210, 9781402025303
Springer 2004 277 English 4 Mb pdf GET
245580 Rolf Drechsler Advanced Formal Verification
1-4020-2530-0
Kluwer 2004 276 English 4 Mb pdf GET
597084 Drechsler R. (ed.) Advanced formal verification
1402077211, 9781402077210
Springer 2004 276 English 2 Mb pdf GET
110689 Rolf Drechsler Advanced formal verification [1 ed.]
9781402077210, 1402077211
Springer 2004 277 English 2 Mb pdf GET
1182366 Rolf Drechsler Advanced formal verification
1-4020-2530-0, 9781402025303, 1-4020-7721-1
Kluwer Academic Publishers 2004 xxv, 249 p. : ill English 4 Mb pdf GET
55238 Drechsler R. (ed.) Advanced Formal Verification
1402025300
2004 276 English 4 Mb pdf GET
28804 Franz Schwabl An Introduction to Formal Hardware Verification [3rd ed.]
3-540-25901-5
Springer 2005 27 English 389 kb ps GET
583097 Douglas L. Perry, Harry Foster Applied Formal Verification [1 ed.]
007144372X, 9780071443722, 9780071588898
2005 240 English 856 kb pdf GET
65538 Douglas Perry, Harry Foster Applied Formal Verification: For Digital Circuit Design [1 ed.]
007144372X
McGraw-Hill Professional 2005 259 English 1 Mb pdf GET
1533951 Vladimir Herdt (auth.) BestMasters
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs [1 ed.]
978-3-658-12679-7, 978-3-658-12680-3
Springer Vieweg 2016 XIX, 162 English 2 Mb pdf GET
958595 Robert Kurshan (auth.), Robert Kurshan (eds.) Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification [1 ed.]
978-1-4613-6579-2, 978-1-4615-3556-0
Springer US 1993 142 English 7 Mb pdf GET
185411 Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.) Lecture Notes in Computer Science 4262 : Programming and Software Engineering
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers [1 ed.]
9783540496991, 3540496998
Springer-Verlag Berlin Heidelberg 2006 255 English 5 Mb pdf GET
349336 Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.) Lecture Notes in Computer Science 4262 : Programming and Software Engineering
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers [1 ed.]
3540496998, 9783540496991
Springer-Verlag Berlin Heidelberg 2006 255 English 3 Mb pdf GET
938280 Andreas Ulrich, Hartmut König (auth.), Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi (eds.) IFIP — The International Federation for Information Processing
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 [1 ed.]
978-1-4757-5260-1, 978-0-387-35271-8
Springer US 1997 550 English 21 Mb pdf GET
938718 Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim (auth.), Stan Budkowski, Ana Cavalli, Elie Najm (eds.) IFIP — The International Federation for Information Processing 6
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France [1 ed.]
978-1-4757-5262-5, 978-0-387-35394-4
Springer US 1998 470 English 18 Mb pdf GET
25100 Gupta A. Formal Hardware Verification Methods: A Survey 1992 87 English 766 kb ps GET
145861 Scott Hazelhurst, Carl-Johan H. Seger (auth.), Thomas Kropf (eds.) Lecture Notes in Computer Science 1287
Formal Hardware Verification: Methods and Systems in Comparison [1 ed.]
3540634754, 9783540634751
Springer-Verlag Berlin Heidelberg 1997 376 English 3 Mb djvu GET
939610 Holger Pfeifer (auth.), Tommaso Bolognesi, Diego Latella (eds.) IFIP — The International Federation for Information Processing 55
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy [1 ed.]
978-1-4757-5264-9, 978-0-387-35533-7
Springer US 2000 408 English 23 Mb pdf GET
349350 Nicola Bombieri, Franco Fummi (auth.), Marco Bernardo, Alessandro Cimatti (eds.) Lecture Notes in Computer Science 3965 : Programming and Software Engineering
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures [1 ed.]
3540343040, 9783540343042
Springer-Verlag Berlin Heidelberg 2006 244 English 3 Mb pdf GET
939197 A. Petrenko, S. Boroday, R. Groz (auth.), Jianping Wu, Samuel T. Chanson, Qiang Gao (eds.) IFIP Advances in Information and Communication Technology 28
Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII / PSTV XIX’99 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX) October 5–8, 1999, Beijing, China [1 ed.]
978-1-4757-5270-0, 978-0-387-35578-8
Springer US 1999 500 English 20 Mb pdf GET
  ►
 Варпаховский Ф.Л.
National Academy of Engineering, John R. Whinnery, Jesse H. Ausubel, H. Dale Langford
Хамфри Дж.
Phillip A. Griffiths
Казанова Г.
Таванец П.В. (ред.)
Бурбаки Н.
Aczel
Henry Frederick Baker

John D. Fay (auth.)
Jürgen Jost (auth.)
Dennis Zill
Bryant R., Griffiths P., Grossman D.
Imschenetsky V.G.
Трикоми Ф.

Кудрявцев Л.Д.
Кампе де Ферье Ж. и др.
Lars Hörmander

access controlaperturessecurity protocolbinary codespredictive value of testsinfraredhistorysilver nanoparticlekilling vector fieldbioinformatics