Limit search to available items
Result Page   1 2 Next
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-50 of 57)
Formal methods (Computer science)
1
E-book
2005

Agent technology from a formal perspective



New York ; London : Springer, 2005

Rating:

 
 
2
Book
1999

Algebraic foundations of systems specification



Berlin ; London : Springer, 1999

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  004.21 Ast/Afo  AVAILABLE
3
E-book
2010

Communicating embedded systems : software and design : formal methods



London : ISTE, Ltd. ; Hoboken : Wiley, 2010

Rating:

 
 
4
E-book
2016

Complete symbolic simulation of SystemC models : efficient formal verification of finite non-terminating programs


Herdt, Vladimir, author
Wiesbaden : Springer Vieweg, 2016

Rating:

 
 
5
Book
2000

Computer-aided reasoning : an approach


Kaufmann, Matt.
Boston : Kluwer Academic Publishers, [2000]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  004.0151 Kau/Car  AVAILABLE
6
Book
1983

Computers in language research 2



Berlin ; New York : Mouton Publishers, [1983]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  410.285 Com  AVAILABLE
7
E-book
1983

Computers in language research 2



Berlin ; New York : Mouton Publishers, [1983]

Rating:

 
 
8
E-book
2017

Concise guide to formal methods : theory, fundamentals and industry applications


O'Regan, Gerard (Cornelius Gerard), author
Cham, Switzerland : Springer, 2017

Rating:

 
 
9
Book
2005

Constructing correct software


Cooke, John, 1947-
New York : Springer, 2005

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.1 Coo/Ccs 2005  AVAILABLE
10
E-book
2005

Constructing correct software


Cooke, John, 1947-
New York : Springer, 2005

Rating:

 
 
11
E-book
2012

The correctness-by-construction approach to programming


Kourie, Derrick.
Berlin ; New York : Springer, [2012]

Rating:

 
 
12
E-book
2007

Design patterns formalization techniques



Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), [2007]

Rating:

 
 
13
E-book
2010

Digital system verification : a combined formal methods and simulation framework


Li, Lun, 1970-
[San Rafael, Calif.] : Morgan & Claypool Publishers, [2010]

Rating:

 
 
14
Book
2000

Domain modeling-based software engineering : a formal approach


Lu, Ruqian, 1935-
Boston, MA ; London : Kluwer Academic, [2000]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.1 Lua/Dmb  AVAILABLE
15
E-book
2000

Dynamic logic


Harel, David, 1950-
Cambridge, Mass. : MIT Press, 2000

Rating:

 
 
16
E-book
2019

Extension innovation method


Yang, Chunyan, author.
Boca Raton, FL : CRC Press, [2019]

Rating:

 
 
18
E-book
2012

Formal and practical aspects of autonomic computing and networking : specification, development, and verification



Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), [2012]

Rating:

 
 
20
21
E-book
2014

Formal methods applied to complex systems : implementation of the B Method



London : ISTE ; Hoboken, NJ : Wiley, 2014

Rating:

 
 
22
E-book
2014

Formal methods applied to industrial complex systems



London : ISTE, Ltd. ; Hoboken, NJ : Wiley, 2014

Rating:

 
 
23
E-book
2012

Formal methods for industrial critical systems : a survey of applications



Hoboken, New Jersey : John Wiley & Sons Inc., [2012]

Rating:

 
 
24
E-book
2013

Formal methods for mining structured objects


Garriga, Gemma C.
Berlin ; New York : Springer, [2013]

Rating:

 
 
25
E-book
2018

Formal methods for nonmonotonic and related logics.


Schlechta, Karl, author
Cham, Switzerland : Springer, 2018

Rating:

 
 
26
E-book
2018

Formal methods for nonmonotonic and related logics.


Schlechta, Karl, author
Cham, Switzerland : Springer, 2018

Rating:

 
 
29
E-book
2012

Formal methods : industrial use from model to the code



London : ISTE ; Hoboken, NJ : Wiley, [2012]

Rating:

 
 
30
Book
1982

Formal methods of program verification and specification



Englewood Cliffs, N.J. : Prentice-Hall, [1982]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.14 For  AVAILABLE
31
E-book
2010

Formal methods : state of the art and new directions



London ; New York : Springer, [2010]

Rating:

 
 
33
Book
1999

Formal specification : techniques and applications


Nissanke, Nismal
New York : Springer, 1999

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.131 Nis/Fst  AVAILABLE
34
E-book
2012

Foundations of algebraic specification and formal software development


Sannella, D. (Donald), 1956-
Berlin ; New York : Springer, [2012]

Rating:

 
 
35
 
36
E-book
 

Industrial used of formal method : formal verification



London : ISTE ; Hoboken, NJ : Wiley

Rating:

 
 
38
40
E-book
2010

Modeling in Event-B : system and software engineering


Abrial, Jean-Raymond.
Cambridge ; New York : Cambridge University Press, 2010

Rating:

 
 
41
E-book
2006

Modern formal methods and applications



Dordrecht : Springer, 2006

Rating:

 
 
42
Book
2002

Object-oriented systems analysis and design using UML


Bennett, Simon, 1956-
London : McGraw-Hill, [2002]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.117 Uml Ben/Oos 2002  AVAILABLE
43
E-book
2008

Practical UML statecharts in C/C++ : event-driven programming for embedded systems


Samek, Miro.
[Place of publication not identified] : CRC Press, 2008

Rating:

 
 
44
E-book
2015

Principles of cyber-physical systems


Alur, Rajeev, 1966-
Cambridge, Massachusetts ; London, England : The MIT Press, [2015]

Rating:

 
 
45
E-book
2009

Process algebra for parallel and distributed processing



Boca Raton, FL : Chapman & Hall/CRC, [2009]

Rating:

 
 
46
Book
1994

A programming approach to formal methods


Casey, Chris.
London ; New York : McGraw-Hill Book Co., [1994]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.1015113 Cas/Pat  AVAILABLE
48
E-book
2010

Scalable techniques for formal verification


Ray, Sandip.
New York : Springer, [2010]

Rating:

 
 
49
Book
2006

Software specification methods



London : ISTE Ltd, 2006

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  004.0151 Hab/Ssm 2006  AVAILABLE
50
E-book
2011

Specification of software systems


Alagar, Vangalur S., 1940-
London ; New York : Springer, [2011]

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results
Result Page   1 2 Next