Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Your session will expire automatically in
0
seconds.
Continue session
End session now
Back to Search Results
Limit/Sort Search
SearchType
Keyword
Author
Title
Subject
Call Number
Search
Search Scope
PSU Library Consortium
Pittsburg State University
Academic Libraries
Public Libraries
Pittsburg Area
Unified School District
Leonard H. Axe Library
Career Resource Center Library
Eureka Public Library
Fort Scott Community College Library
George Nettels Elementary School Library
Kansas Technology Center Library
Lakeside Elementary School Library
Meadowlark Elementary School Library
Parsons Public Library
Pittsburg Community Middle School Library
Pittsburg High School Library
Pittsburg Public Library
Sedan Public Library
Westside Elementary School Library
Childrens Collection
Available items only
Add Marked to Bag
Add All On Page
Subjects (1-12 of 12)
Formal Methods Computer Science
1
Communicating embedded systems software and design : formal methods
London : ISTE ; Hoboken, N.J. : Wiley, 2010. 2010
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
2
Computers in language research
Berlin ; New York : Mouton Publishers, c1983. 1983
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
3
Formal method industrial use from model to the code
London : ISTE ; Hoboken, N.J. : Wiley, 2012. 2012
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
4
Formal methods applied to complex systems : implementation of the B method
London, England ; Hoboken, New Jersey : iSTE : Wiley, 2014. 2014
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
5
Formal methods for safety and security : case studies for aerospace applications
Gateway East, Singapore : Springer, 2018. 2018
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
6
Formal methods in architecture and urbanism
Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018. 2018
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
7
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime
Drusinsky, Doron.
Burlington, MA : Newnes, ©2006. 2006
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe Elsevier ScienceDirect Ebook
Electronic Book
---
Available
8
Modeling and verification using UML statecharts a working guide to reactive system design, runtime m
Drusinsky, Doron.
Burlington, MA : Newnes, c2006. 2006
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
9
Practical UML statecharts in C/C++ : event-driven programming for embedded systems
Samek, Miro.
Amsterdam ; Boston : Newnes/Elsevier, ©2009. 2009
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe Elsevier ScienceDirect Ebook
Electronic Book
---
Available
10
Software specification methods
London ; Newport Beach, CA : ISTE Ltd, 2006. 2006
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
11
Teamwork in multi-agent systems a formal approach
Dunin-Keplicz, Barbara.
Hoboken, N.J. : John Wiley, 2010. 2010
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
12
Verification techniques for system-level design
Fujita, Masahiro, 1956-
Amsterdam ; Boston : Morgan Kaufmann Publishers, ©2008. 2008
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe Elsevier ScienceDirect Ebook
Electronic Book
---
Available
Add Marked to Bag
Add All On Page
Locate in results
Back to Search Results
Limit/Sort Search
Available items only