scientific article; zbMATH DE number 1380218

zbMATH Open0972.68180MaRDI QIDQ4705095

Author name not available (Why is that?)

Publication date: 19 December 1999

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computing methodologies and applications (68U99)

Related Items (1)

Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Computer programming and formal systems 👍 👎
• Formal methods in computer technologies 👍 👎
• Applied logic for computer scientists. Computational deduction and formal proofs 👍 👎
• Formal Methods in Computer Science 👍 👎
• Formal Models, Languages and Applications 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4705095)