Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • Applied formal methods--FM Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : proceedings / Dieter Hutter ... [et al.].

    • Text
    • Berlin ; New York : Springer, 1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 99-2032Offsite

  • FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.).

    • Text
    • Berlin ; New York : Springer, c1999.
    • 1999
    • 2 Items
    FormatCall NumberItem Location
    Text JSE 99-2018 v. 1Offsite
    FormatCall NumberItem Location
    Text JSE 99-2018 v. 2Offsite

  • Formal models of agents : ESPRIT Project ModelAge final workshop selected papers / John-Jules Ch. Meyer, Pierre-Yves Schobbens (Eds.)

    • Text
    • Berlin ; New York : Springer, 1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 00-724Offsite

  • Industrial-strength formal methods in practice / Michael G. Hinchey and Jonathan P. Bowen, (eds.).

    • Text
    • Berlin ; New York : Springer, c1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 00-1135Offsite

  • Challenges for action theories / Michael Thielscher.

    • Text
    • Berlin ; New York : Springer, c2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 00-1306Offsite

  • Formal specification : techniques and applications / Nimal Nissanke.

    • Text
    • London ; New York : Springer, c1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 00-1820Offsite

  • Computer-aided reasoning : an approach / by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.

    • Text
    • Boston : Kluwer Academic Publishers, c2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 00-1979Offsite

  • Software specification methods : an overview using a case study / Marc Frappier and Henri Habrias (eds).

    • Text
    • London ; [New York] : Springer, c2001.
    • 2001
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 01-90Offsite

  • Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.).

    • Text
    • Berlin; New York : Springer, 2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 01-930Offsite

  • Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures / Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.).

    • Text
    • Berlin ; New York : Springer, c2001.
    • 2001
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 01-1743Offsite

  • Language constructs for describing features : proceedings of the FIREworks workshop / Stephen Gilmore and Mark Ryan (eds.).

    • Text
    • London : New York : Springer, c2001.
    • 2001
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 02-762Offsite

  • Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere, eds.

    • Text
    • Berlin ; New York : Springer, c2002.
    • 2002
    • 1 Item

    Available Online

    http://link.springer-ny.com/link/service/series/0558/tocs/t2335.htm
    FormatCall NumberItem Location
    Text JSE 02-1123Offsite

  • FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.).

    • Text
    • Berlin ; New York : Springer, c2002.
    • 2002
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 02-1837Offsite

  • Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings / Doron A. Peled, Moshe Y. Vardi (eds.).

    • Text
    • Berlin ; New York : Springer, c2002.
    • 2002
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 02-2116Offsite

  • Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings / Chris George, Huaikou Miao (eds.).

    • Text
    • Berlin ; New York : Springer, c2002.
    • 2002
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 03-72Offsite

  • Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings / Mark D. Aagaard, John W. O'Leary (eds.).

    • Text
    • Berlin ; New York : Springer, c2002.
    • 2002
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 03-90Offsite

  • Understanding formal methods / written and translated by Jean Francois Monin ; translation editor, Michael G. Hinchey.

    • Text
    • London ; New York : Springer, c2003.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 03-427Offsite

  • FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.).

    • Text
    • Berlin ; New York : Springer, c2003.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 03-1857Offsite

  • Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29-October 2, 2003, proceedings / Hartmut König, Monika Heiner, Adam Wolisz, eds.

    • Text
    • Berlin ; New York : Springer, c2003.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 03-1956Offsite

  • Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures / Marco Bernardo, Paola Inverardi (eds.).

    • Text
    • Berlin ; New York : Springer, c2003.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 04-284Offsite

  • Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures / Frank S. de Boer ... [et al.] (eds.)

    • Text
    • Berlin ; New York : Springer-Verlag, c2003.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 04-276Offsite

  • Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings / Jin Song Dong, Jim Woodcock, eds.

    • Text
    • Berlin ; New York : Springer, c2003.
    • 2003
    • 1 Item

    Available Online

    http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2885
    FormatCall NumberItem Location
    Text JSE 04-852Offsite

  • Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers / Alexandre Petrenko, Andreas Ulrich (eds.).

    • Text
    • Berlin ; New York : Springer, c2004.
    • 2004
    • 1 Item

    Available Online

    http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2931
    FormatCall NumberItem Location
    Text JSE 04-854Offsite

  • Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers / Ali E. Abdallah, Peter Ryan, Steve Schneider (eds.).

    • Text
    • Berlin ; New York : Springer, c2003.
    • 2003
    • 1 Item

    Available Online

    http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2629
    FormatCall NumberItem Location
    Text JSE 04-344Offsite

  • Duration calculus : a formal approach to real-time systems / Zhou Chaochen, Michael R. Hansen.

    • Text
    • Berlin ; New York : Springer, c2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 04-394Offsite

  • From object-orientation to formal methods : essays in memory of Ole-Johan Dahl / Olaf Owe, Stein Krogdahl, Tom Lyche (eds.).

    • Text
    • Berlin : Springer, 2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 04-1001Offsite

  • Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; proceedings / Eerke A. Boiten, John Derrick, Graeme Smith (eds.).

    • Text
    • Berlin ; Hong Kong : Springer-Verlag, c2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 04-958Offsite

  • Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers / Kim G. Larsen, Peter Niebert (eds.).

    • Text
    • Berlin : Springer, 2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 04-1139Offsite

  • Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings / Manuel Núñez ... [et al.] (eds.).

    • Text
    • Berlin ; New York : Springer, 2004.
    • 2004
    • 1 Item

    Available Online

    http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3236
    FormatCall NumberItem Location
    Text JSE 05-153Offsite

  • Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / David de Frutos-Escrig, Manuel Núñez, editors.

    • Text
    • Berlin ; New York : Springer, c2004.
    • 2004
    • 1 Item

    Available Online

    http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3235
    FormatCall NumberItem Location
    Text JSE 05-136Offsite

  • Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings / C. Neville Dean, Raymond T. Boute (eds.).

    • Text
    • Berlin : Springer, c2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 05-19Offsite

  • Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings / Yassine Lakhnech, Sergio Yovine (Eds.).

    • Text
    • Berlin ; New York : Springer, c2004.
    • 2004
    • 1 Item

    Available Online

    http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3253
    FormatCall NumberItem Location
    Text JSE 05-198Offsite

  • Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings / Alan J. Hu, Andrew K. Martin (eds.).

    • Text
    • Berlin : Springer, 2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 05-140Offsite

  • Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures / Frank S. de Boer ... [et al.] (eds.).

    • Text
    • Berlin ; New York : Springer, 2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 05-182Offsite

  • Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (eds.).

    • Text
    • Berlin : Springer, c2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 05-410Offsite

  • Validated designs for object-oriented systems / John Fitzgerald ... [et al.].

    • Text
    • London : Springer, c2005.
    • 2005
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 05-490Offsite

  • Modern formal methods and applications / edited by Hossam A. Gabbar.

    • Text
    • Dordrecht : Springer, 2006.
    • 2006
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 06-950Offsite

  • Design patterns formalization techniques / Toufik Taibi [editor].

    • Text
    • Hershey, PA : IGI Pub., c2007.
    • 2007
    • 1 Item

    Available Online

    http://www.loc.gov/catdir/toc/ecip073/2006035478.html
    FormatCall NumberItem Location
    Text JSF 07-400Offsite

  • Formal methods in architecture and urbanism / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz.

    • Text
    • Newcastle upon Tyne : Cambridge Scholars Publishing, 2018.
    • 2018
    • 1 Item
    FormatCall NumberItem Location
    Text NA2728 .F67 2018gOff-site

  • Applied formal methods--FM Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : proceedings / Dieter Hutter [and others].

    • Text
    • Berlin ; New York : Springer, 1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.F67 I59 1998Off-site

  • FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.).

    • Text
    • Berlin ; New York : Springer, 1999.
    • 1999
    • 2 Items
    FormatCall NumberItem Location
    Text QA76.9.F67 W67 1999 v.1Off-site
    FormatCall NumberItem Location
    Text QA76.9.F67 W67 1999 v.2Off-site

  • Formal specification : techniques and applications / Nimal Nissanke.

    • Text
    • London ; New York : Springer, [1999], ©1999.
    • 1999-1999
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.F67 N57 1999Off-site

  • Algebraic foundations of systems specification / E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (eds.).

    • Text
    • Berlin ; New York : Springer, 1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.758 .A437 1999Off-site

  • Formal models of agents : ESPRIT Project ModelAge final workshop selected papers / John-Jules Ch. Meyer, Pierre-Yves Schobbens (Eds.)

    • Text
    • Berlin ; New York : Springer, 1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.I58 F67 1999Off-site

  • Challenges for action theories / Michael Thielscher.

    • Text
    • New York : Springer, 2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.L63 T48 2000Off-site

  • 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 / edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.

    • Text
    • Boston : Kluwer Academic, 1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.F67 I35 1999Off-site

  • Computer-aided reasoning : an approach / by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.

    • Text
    • Boston : Kluwer Academic Publishers, [2000], ©2000.
    • 2000-2000
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.F67 K38 2000Off-site

  • Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings / Warren A. Hunt, Jr., Steven D. Johnson, eds.

    • Text
    • Berlin ; New York : Springer, 2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text TK7885.A1 F59 2000Off-site

  • Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.).

    • Text
    • Berlin ; New York : Springer, 2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.F67 I58 2000Off-site

  • Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.

    • Text
    • Cambridge, Mass. : MIT Press, 2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.L63 H37 2000Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta