Canals - Formal Methods in Software and Systems Modeling : :: Biblioteca ITESO

Ítems similars: Formal Methods in Software and Systems Modeling :

Vista ràpida
Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /
Vista ràpida
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /
Vista ràpida
Rainbow of Computer Science : Essays Dedicated to Hermann Maurer on the Occasion of His 70th Birthday /
Vista ràpida
Data Management in a Connected World : Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday /
Vista ràpida
Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
Vista ràpida
Theory Is Forever : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /
Vista ràpida
Aspects of Molecular Computing : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday /
Vista ràpida
Conceptual Modelling and Its Theoretical Foundations : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday /
Vista ràpida
Program Analysis and Compilation, Theory and Practice : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
Vista ràpida
Software Service and Application Engineering : Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday /
Vista ràpida
Horizons of the Mind : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /
Vista ràpida
Logic and Grammar : Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday /
Vista ràpida
Efficient Algorithms : Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday /
Vista ràpida
Algorithms and Applications : Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday /
Vista ràpida
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
Vista ràpida
Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
Vista ràpida
Computation, Cooperation, and Life : Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday /
Vista ràpida
The Multivariate Algorithmic Revolution and Beyond : Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday /
Vista ràpida
Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
Vista ràpida
Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /
Vista ràpida
Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /
Vista ràpida
Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : Advanced Lectures /
Vista ràpida
Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays /
Vista ràpida
Formal Foundations for Software Engineering Methods /

Autor: Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer

Vista ràpida
Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0