Tests and Proofs : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings /

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Catherine Dubois (edición)
Materyal Türü:	Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Berlín, Alemania : Springer, 2009, c2009
Seri Bilgileri:	(Lecture Notes in Computer Science)
Online Erişim:	Ver documento en línea
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller: Tests and Proofs :

Hızlı Bakış
Tests and Proofs : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings /
Hızlı Bakış
Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers /
Hızlı Bakış
Tests and Proofs : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /
Hızlı Bakış
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings /
Hızlı Bakış
Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
Hızlı Bakış
Tests and Proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014 York, UK, July 24-25, 2014 : Proceedings /
Hızlı Bakış
Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings /
Hızlı Bakış
Software Engineering Approaches for Offshore and Outsourced Development : Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings /
Hızlı Bakış
Software Composition : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings /
Hızlı Bakış
Theory and Applications of Satisfiability Testing - SAT 2009 : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /
Hızlı Bakış
Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings /
Hızlı Bakış
Object Databases : Second International Conference, ICOODB 2009, Zurich, Switzerland, July 1-3, 2009. Revised Selected Papers /
Hızlı Bakış
Objects, Components, Models and Patterns : 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings /
Hızlı Bakış
Proofs and Algorithms : An Introduction to Logic and Computability /
Hızlı Bakış
Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /
Hızlı Bakış
Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings /
Hızlı Bakış
Testing of Software and Communication Systems : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings /
Hızlı Bakış
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers /
Hızlı Bakış
Proof, Computation and Agency : Logic at the Crossroads /
Hızlı Bakış
Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /
Hızlı Bakış
Adapting Proofs-as-Programs : The Curry--Howard Protocol /
Hızlı Bakış
Theory and Practice of Model Transformations : Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings /
Hızlı Bakış
Stress Proof the Heart : Behavioral Interventions for Cardiac Patients /
Hızlı Bakış
Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /