José Meseguer - Böcker
Visar alla böcker från författaren José Meseguer.
8 produkter
8 produkter
Foundations of Security, Protocols, and Equational Reasoning
Av Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic, Jose Meseguer
Häftad, Engelska, 2019
739 kr
Skickas inom 7-10 vardagar
Protocols, Strands, and Logic
Av Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe, Jose Meseguer, Sebastian Alexander Modersheim, Sebastian Ale Meseguer, José
Häftad, Engelska, 2021
1 089 kr
Skickas inom 7-10 vardagar
Del 16120 - Lecture Notes in Computer Science
Concurrent Programming, Open Systems and Formal Methods
Av Jose Meseguer, Carlos A. Varela, Nalini Venkatasubramanian
Häftad, Engelska, 2025
1 189 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2006
1 419 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2008
1 459 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2008
739 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2011
739 kr
Skickas inom 7-10 vardagar
Specification, Algebra, and Software
Av Shusaku Iida, José Meseguer, Kazuhiro Ogata, Kazuhiro Meseguer, José
Häftad, Engelska, 2014
739 kr
Skickas inom 7-10 vardagar