Formal Models

Formal Models and Techniques for Analyzing Security Protocols  eBooks & eLearning

Posted by roxul at Nov. 6, 2016
Formal Models and Techniques for Analyzing Security Protocols

V. Cortier, S. Kremer, "Formal Models and Techniques for Analyzing Security Protocols"
English | ISBN: 1607507137 | 2011 | 312 pages | PDF | 2 MB

Analogies and Theories: Formal Models of Reasoning  eBooks & eLearning

Posted by ksveta6 at Oct. 10, 2016
Analogies and Theories: Formal Models of Reasoning

Analogies and Theories: Formal Models of Reasoning (Lipsey Lectures) by Itzhak Gilboa, Larry Samuelson, David Schmeidler
2015 | ISBN: 0198738021 | English | 160 pages | PDF | 0.9 MB
Applying Fuzzy Mathematics to Formal Models in Comparative Politics

Terry D. Clark, Jennifer M. Larson, John N. Mordeson, "Applying Fuzzy Mathematics to Formal Models in Comparative Politics"
2008 | pages: 223 | ISBN: 3540774602 | PDF | 7,1 mb

Formal Models of Operating System Kernels (Repost)  

Posted by step778 at Feb. 27, 2015
Formal Models of Operating System Kernels (Repost)

Iain D. Craig, "Formal Models of Operating System Kernels"
2007 | pages: 341 | ISBN: 1846283752 | PDF | 1,8 mb
Embedded Systems Design Based on Formal Models of Computation (repost)

Embedded Systems Design Based on Formal Models of Computation
by Ivan Radojevic, Zoran Salcic
English | 2011 | ISBN: 9400715935 | 198 pages | PDF | 1.67 MB
Representing Space in Cognition: Interrelations of behaviour, language, and formal models (repost)

Representing Space in Cognition: Interrelations of behaviour, language, and formal models (Explorations in Language and Space, Book 8) by Thora Tenbrink, Jan M. Wiener and Christophe Claramunt
English | 2013 | ISBN: 0199679916 | 352 pages | PDF | 5,2 MB

This book considers how people talk about their environment, find their way in new surroundings, and plan routes.
Embedded Systems Design Based on Formal Models of Computation (Repost)

Embedded Systems Design Based on Formal Models of Computation By Ivan Radojevic, Zoran Salcic
2011 | 198 Pages | ISBN: 9400715935 | PDF | 2 MB
Embedded Systems Design Based on Formal Models of Computation

Embedded Systems Design Based on Formal Models of Computation By Ivan Radojevic, Zoran Salcic
Publisher: Spr..ing..er 2011 | 198 Pages | ISBN: 9400715935 | PDF | 2 MB
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic

Benedikt Bollig "Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic"
Springer | 2006-10-10 | ISBN: 3540329226 | 182 pages | PDF | 1,3 Mb
Iain D. Craig, «Formal Models of Operating System Kernels»

Iain D. Craig, «Formal Models of Operating System Kernels»
Publisher: Springer | Nov 2006 | ISBN: 1846283752 | Pages: 338 | PDF | 1.8 MB