Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
WeiterlesenAdvanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and ...
WeiterlesenThe Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...
WeiterlesenThis book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
WeiterlesenThe purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...
WeiterlesenThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
WeiterlesenThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
WeiterlesenThis volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
WeiterlesenThis tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
WeiterlesenThis volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
WeiterlesenTemporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
WeiterlesenThis book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
WeiterlesenThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
WeiterlesenThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
WeiterlesenThe 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...
WeiterlesenThis book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
Weiterlesen