Limit Search Results
Author
SpringerLink (Online service)
(25)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324
(3)
Matheja, Christoph. editor. (orcid)0000-0001-9151-0441
(3)
Publication Date
-
Subject
Computer science.
(15)
Formal methods (Computer science)
(13)
Software engineering.
(12)
Computer Science Logic and Foundations of Programming.
(10)
Theory of Computation.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
41 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Introduction to Artificial Intelligence
Introduction to Artificial Intelligence
Author 
Flasiński, Mariusz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40022-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44561-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal methods applied to complex systems : implementation of the B Method
Formal methods applied to complex systems : implementation of the B Method
Author 
Boulanger, Jean-Louis, editor.
Preferred Shelf Number 
ONLINE(342119.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781119002727
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal methods applied to industrial complex systems
Formal methods applied to industrial complex systems
Author 
Boulanger, Jean-Louis, editor.
Preferred Shelf Number 
ONLINE(342122.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781119004707
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Formal ontology in information systems Proceedings of the seventh International Conference (FOIS 2012)
Formal ontology in information systems Proceedings of the seventh International Conference (FOIS 2012)
Author 
FOIS (Conference) (7th : 2012 : Graz, Austria) Donnelly, Maureen. Guizzardi, Giancarlo. IOS Press.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=489950
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Industrial used of formal method formal verification
Industrial used of formal method formal verification
Author 
Boulanger, Jean-Louis.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley http://dx.doi.org/10.1002/9781118561829
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Modeling in Event-B system and software engineering
Modeling in Event-B system and software engineering
Author 
Abrial, Jean-Raymond.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Digital system verification a combined formal methods and simulation framework
Digital system verification a combined formal methods and simulation framework
Author 
Li, Lun, 1970- Thornton, Mitchell Aaron.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Teamwork in multi-agent systems a formal approach
Teamwork in multi-agent systems a formal approach
Author 
Dunin-Kȩplicz, Barbara. Verbrugge, Rineke. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470665237
http://site.ebrary.com/lib/alltitles/Doc?id=10389590
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Practical UML statecharts in C/C++ event-driven programming for embedded systems
Practical UML statecharts in C/C++ event-driven programming for embedded systems
Author 
Samek, Miro.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750687065
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Process algebra for parallel and distributed processing
Process algebra for parallel and distributed processing
Author 
Alexander, Michael, 1970 Sept. 25- Gardner, William, 1952-
Preferred Shelf Number 
QA76.58 .P7664 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Verification techniques for system-level design
Verification techniques for system-level design
Author 
Fujita, Masahiro, 1956- Ghosh, Indradeep, 1970- Prasad, Mukul.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123706164
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets