[PDF] formal specification free ebooks download




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

Library Search


45 books found   ►also search"formal specification" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
1183625 D. Ince Oxford Applied Mathematics and Computing Science Series
An Introduction to Discrete Mathematics and Formal System Specification [1St Edition]
0198596677, 9780198596677
Oxford University Press 1988 368 English 2 Mb djvu GET
348996 J. Paul Gibson (auth.), Jacques Julliand, Olga Kouchnarenko (eds.) Lecture Notes in Computer Science 4355
B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings [1 ed.]
3540687602, 9783540687603
Springer-Verlag Berlin Heidelberg 2006 297 English 7 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
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
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
272972 L. M. G. Feijs, H. B. M. Jonkers Cambridge Tracts in Theoretical Computer Science 35
Formal Specification and Design
0521434572
Cambridge University Press 2005 351 English 2 Mb djvu GET
891209 J. Bowen Formal Specification and Documentation Using Z Open Univ. 1995 314 English 1 Mb pdf GET
288975 Jonathan Bowen Formal Specification and Documentation Using Z: A Case Study Approach
1850322309, 9781850322306
Intl Thomson Computer Pr (Sd) 1996 315 English 700 kb pdf GET
1208347 Bjorner D.; Jones C.B. Prentice Hall International Series in Computer Science
Formal specification and software development
Prentice Hall 1982 482 English 6 Mb djvu GET
664880 Arturo Sanchez Formal Specification and Synthesis of Procedural Controllers for Process Systems (Lecture Notes in Control and Information Sciences) [1 ed.]
3540760210, 9783540760214
Springer 1996 238 English 7 Mb pdf GET
1312618 Mathias Soeken, Rolf Drechsler (auth.) Formal Specification Level: Concepts, Methods, and Algorithms [1 ed.]
978-3-319-08698-9, 978-3-319-08699-6
Springer International Publishing 2015 138 English 7 Mb pdf GET
1414684 Frank G. Pagan Prentice-Hall software series
Formal specification of programming languages: a panoramic primer
0-13-329052-2, 9780133290523, 15-1972-728-3
Prentice Hall 1981 256 English 2 Mb djvu GET
964910 Yang Meng Tan (auth.) The Springer International Series in Software Engineering 1
Formal Specification Techniques for Engineering Modular C Programs [1 ed.]
978-1-4613-6850-2, 978-1-4615-4125-7
Springer US 1996 213 English 4 Mb pdf GET
1462135 David Lightfoot (auth.) Macmillan Computer Science Series
Formal Specification Using Z
978-0-333-54408-2, 978-1-349-12144-1
Macmillan Education UK 1991 English 8 Mb pdf GET
945025 Nimal Nissanke MSc, PhD (auth.) Formal Specification: Techniques and Applications [1 ed.]
978-1-85233-002-6, 978-1-4471-0791-0
Springer-Verlag London 1999 295 English 7 Mb pdf GET
337463 Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.) Lecture Notes in Computer Science 1169
Formal Systems Specification: The RPC-Memory Specification Case Study [1 ed.]
3540619844, 9783540619840
Springer-Verlag Berlin Heidelberg 1996 543 English 4 Mb djvu GET
965058 Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.) Lecture Notes in Computer Science 1169
Formal Systems Specification: The RPC-Memory Specification Case Study [1 ed.]
978-3-540-61984-0, 978-3-540-49573-4
Springer-Verlag Berlin Heidelberg 1996 543 English 8 Mb pdf GET
824323 Donald Sannella, Andrzej Tarlecki Monographs in Theoretical Computer Science. An EATCS Series
Foundations of Algebraic Specification and Formal Software Development
3642173357, 9783642173356
Springer 2012 598 English 3 Mb pdf GET
945076 Jonathan P. Bowen BA, MA, Michael G. Hinchey BSc, MSc, PhD (auth.) Formal Approaches to Computing and Information Technology (FACIT)
High-Integrity System Specification and Design [1 ed.]
978-3-540-76226-3, 978-1-4471-3431-2
Springer-Verlag London 1999 701 English 17 Mb pdf GET
964199 John V. Guttag, James J. Horning Texts and Monographs in Computer Science
Larch: Languages and Tools for Formal Specification
978-1-4612-7636-4, 978-1-4612-2704-5
Springer 1993 265 English 9 Mb pdf GET
831851 John V. Guttag, James J. Horning Texts and Monographs in Computer Science
Larch: Languages and Tools for Formal Specification
9783540940067, 3540940065
Springer 1993 259 English 573 kb pdf GET
112118 Cornelis A. Middelburg Computer Science : Research and Practice
Logic and specification: extending VDM-SL for advanced formal specification [1st English Language Ed]
0412486806, 9780412486807
Chapman & Hall 1993 412 English 1 Mb pdf GET
407207 Ernst-Rudiger Olderog, Henning Dierks Real-Time Systems: Formal Specification and Automatic Verification [1 ed.]
0521883334, 9780521883337
Cambridge University Press 2008 339 English 12 Mb pdf GET
826291 Ernst-Rüdiger Olderog, Henning Dierks Real-Time Systems: Formal Specification and Automatic Verification [1 ed.]
9780511429217, 9780511429972, 9780521883337, 0521883334
Cambridge University Press 2008 338 English 2 Mb pdf GET
  ►
 John R. Hubbard
Андреев Д.П., Гак Н.Н., Цимблер И.И.

Hillman C.
David Eisenbud
V. N. Sachkov and V. E. Tarakanov
Вопенка П. (Vopenka)
V.V. Alexandrov, Yu.G. Reshetnyak
Werner H.
Никольский Н.К.
Gilbert Ames Bliss
Айзенберг, Южаков.
Векуа И.Н.
Sergei Yu. Pilyugin (auth.)
Yasutaka Sebuya
Bernd S. W. Schr?der
D. V. Widder
Lars Hörmander
Юнг Дж.В. (J.W.Young)
Warner F.

public healthshapepsychotherapyobservational studychristian theologymoving loadsedimentsdark matterurologymedicine