Reset Filters
Filter Related Topics: Formal methods Computer science
Filter Related Topics within your search.
Formal methods Computer science Computer software 12 Verification 9 Data processing 5 Development 5 Software engineering 4 B method Computer science 3 more ...
1
Formal methods in computer science /

Cover is for reference only
Main Authors: Wang, Jiacun, 1963
Group Author: Tepfenhart, William M
Published: CRC Press, Taylor & Francis Group,
Publication Dates: [2020]
Call Number: TP301/W246
Book
Save to List
Saved in:
3
Java software development with event B : a practical guide /

Cover is for reference only
Main Authors: Cataño Collazos, Nestor
Published: Morgan & Claypool,
Publication Dates: [2020]
Call Number: TP312.8JA/C357
Book
Save to List
Saved in:
6
Formal verification of floating-point hardware design : a mathematical approach /

Cover is for reference only
Main Authors: Russinoff, David, 1948
Group Author: Moore, J Strother, 1947
Published: Springer,
Publication Dates: [2019]
Call Number: TP301.6/R969
Book
Save to List
Saved in:
9
Formal methods for safety and security : case studies for aerospace applications /

Cover is for reference only
Group Author: Nanda, Manju; Jeppu, Yogananda
Published: Springer,
Publication Dates: 2018.
Call Number: TP301.6/F723
Book
Save to List
Saved in:
13
Formal methods in architecture and urbanism /

Cover is for reference only
Group Author: Viana, David Leite; Morais, Franklim; Vaz, Jorge Vieira
Published: Cambridge Scholars Publishing,
Publication Dates: 2018.
Call Number: TU17/F723
Book
Save to List
Saved in:
14
Languages, design methods, and tools for electronic system design : selected contributions from FDL 2016 /

Cover is for reference only
Corporate Authors: FDL Conference Bremen, Germany
Group Author: Fummi, Franco; Wille, Robert
Published: Springer,
Publication Dates: [2018]
Call Number: TP303-532/F745/2016
Book
Save to List
Saved in:
16
Practical uml statecharts in C/C++ : event-driven programming for embedded systems /

Cover is for reference only
Main Authors: Samek, Miro
Corporate Authors: Taylor & Francis
Published: CRC Press, an imprint of Taylor and Francis,
Publication Dates: 2018.
Call Number: TP312.8C/S187/2nd ed.
Book
Save to List
Saved in:
19
Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedings /

Cover is for reference only
Corporate Authors: RV Conference Seattle, Wash
Group Author: Lahiri, Shuvendu; Reger, Giles
Published: Springer,
Publication Dates: [2017]
Call Number: TP311-532/R943/2017
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —