Formal Methods in Computer-Aided Design 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings /

Formal Methods in Computer-Aided Design 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings /

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Aagaard, Mark D. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), O'Leary, John W. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Έκδοση:	1st ed. 2002.
Σειρά:	Lecture Notes in Computer Science, 2517
Θέματα:	Computer-aided engineering. Computer hardware. Software engineering. Computer logic. Mathematical logic. Electrical engineering. Computer-Aided Engineering (CAD, CAE) and Design. Computer Hardware. Software Engineering. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Electrical Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /
Έκδοση: (2004)

Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings /
Έκδοση: (1998)

Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings /
Έκδοση: (2000)

Formal Hardware Verification Methods and Systems in Comparison /
Έκδοση: (1997)

Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /
Έκδοση: (2003)

Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings /
Έκδοση: (1999)

Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings /
Έκδοση: (2001)

Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings /
Έκδοση: (2001)

Interactive Systems: Design, Specification, and Verification 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers /
Έκδοση: (2001)

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings /
Έκδοση: (2018)

Computer Aided Systems Theory - EUROCAST 2003 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers /
Έκδοση: (2003)

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers /
Έκδοση: (2018)

Concurrency and Hardware Design Advances in Petri Nets /
Έκδοση: (2002)

Logic Functions and Equations Binary Models for Computer Science /
ανά: Posthoff, Christian, κ.ά.
Έκδοση: (2019)

Algebraic Methodology and Software Technology 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings /
Έκδοση: (2002)

Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers /
Έκδοση: (2003)

Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings /
Έκδοση: (2002)

ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings /
Έκδοση: (2000)

ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
Έκδοση: (1998)

Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings /
Έκδοση: (1999)

Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
Έκδοση: (1998)

Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings /
Έκδοση: (2002)

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /
Έκδοση: (2019)

Automated Technology for Verification and Analysis Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /
Έκδοση: (2004)

Theoretical Aspects of Computer Software Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings /
Έκδοση: (1997)

Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers /
Έκδοση: (2003)

ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings /
Έκδοση: (2003)

Field Programmable Logic and Application 14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings /
Έκδοση: (2004)

Reliable Software Technologies - Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /
Έκδοση: (2018)

Theorem Proving in Higher Order Logics 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings /
Έκδοση: (1997)

Mathematics of Program Construction 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings /
Έκδοση: (2002)

Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /
Έκδοση: (2001)

Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /
Έκδοση: (2004)

Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
Έκδοση: (2003)

Foundations of Software Science and Computation Structures Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
Έκδοση: (1999)

Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings /
Έκδοση: (2001)

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures /
Έκδοση: (2002)

Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings /
Έκδοση: (1997)

Field-Programmable Logic and Applications 11th International Conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings /
Έκδοση: (2001)

Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
Έκδοση: (2002)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών