This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
WeiterlesenThis book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
WeiterlesenThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
WeiterlesenThis book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and ...
WeiterlesenThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
WeiterlesenThe volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
WeiterlesenThis book constitutes the refereed post-workshop proceedings of the International Workshop on Coordination, Organization, ...
WeiterlesenThe book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...
WeiterlesenThis book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative ...
WeiterlesenThis book constitutes the refereed proceedings of the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, ...
WeiterlesenThis book teaches readers how to better reason about software development, to communicate reasoning, to distinguish between ...
WeiterlesenThis book constitutes the combined proceedings of the second working conference on Human-Centred Software Engineering (HCSE ...
WeiterlesenThis book has been written by ten Belgian health care professionals, nurses, university professors and doctors specializing ...
WeiterlesenThis book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
WeiterlesenThis book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
WeiterlesenFormal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...
WeiterlesenThis volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
WeiterlesenThis book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
WeiterlesenThis book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
WeiterlesenThis book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
Weiterlesen