Verification | Booky.fi

Savant, Nagnath
Apress
2026
Pehmeäkantinen kirja

53,30 €

Hartnett, Kevin
Macmillan USA
2026
Kovakantinen kirja

26,70 €

Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta,

Brenner, Michael; Rohloff, Kurt; Bonneau, Joseph; Miller, Andrew; Ryan, Peter Y.A.; Teague, Vanessa; Bracciali, Andrea; Sala, Ma
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Programming Languages and Systems : 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings

Potanin, Alex
Springer
2025
Pehmeäkantinen kirja

117,80 €

Fast Software Encryption - 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers

Peyrin, Thomas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2016
Pehmeäkantinen kirja

86,00 €

Formal Methods : An Appetizer

Nielson, Flemming; Riis Nielson, Hanne
Springer
2019
Kovakantinen kirja

56,10 €

Close-Range Photogrammetry and 3D Imaging

Luhmann, Thomas; Robson, Stuart; Kyle, Stephen; Boehm, Jan
De Gruyter
2013
Kovakantinen kirja

121,20 €

Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held

Ábrahám, Erika; Palamidessi, Catuscia
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja

51,10 €

Information Systems Security : 12th International Conference, ICISS 2016, Jaipur, India, December 16-20, 2016, Proceedings

Ray, Indrajit; Gaur, Manoj Singh; Conti, Mauro; Sanghi, Dheeraj; Kamakoti, V.
Springer
2016
Pehmeäkantinen kirja

51,10 €

Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016

Hermenegildo, Manuel V; Lopez-Garcia, Pedro
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
Springer International Publishing AG
2019
Pehmeäkantinen kirja

134,00 €

Quantitative Evaluation of Systems - 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, P

Gribaudo, Marco; Jansen, David N.; Remke, Anne
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Programming for Computations - Python - A Gentle Introduction to Numerical Simulations with Python 3.6

Linge, Svein; Langtangen, Hans Petter
Springer Nature Switzerland AG
2019
Kovakantinen kirja

51,10 €

Understanding Language - Man or Machine

Moyne, John A.
Kluwer Academic Publishers Group
1985
Kovakantinen kirja

81,00 €

A Property Checking Methodology for Weakly Programmable System-on-Chip IPs

Loitz, Sacha
Shaker Verlag
2014
Pehmeäkantinen kirja

75,80 €

Symbolic Execution of Distributed Systems

Sasnauskas, Raimondas
Shaker Verlag
2013
Pehmeäkantinen kirja

64,70 €

Compositional Stability Verification of Hybrid Systems

Mitrohin, Corina
Shaker Verlag
2013
Pehmeäkantinen kirja

75,50 €

Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Requirements

Lohmann, Sven
Shaker Verlag
2012
Pehmeäkantinen kirja

79,50 €

Verifying Concurrent Systems with Symbolic Execution

Balser, Michael
Shaker Verlag
2006
Pehmeäkantinen kirja

82,80 €

Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015

de Paiva, Valeria; de Queiroz, Ruy; Moss, Lawrence S.; Leivant, Daniel; de Oliveira, Anjolina G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja

41,20 €