scientific article; zbMATH DE number 192827

zbMATH Open0638.68002MaRDI QIDQ4039723FDOQ4039723

Authors: Peter A. Darnell, Philip E. Margolis 

Publication date: 5 June 1993

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

Recommendations

• scientific article; zbMATH DE number 49159
• scientific article; zbMATH DE number 245805
• scientific article; zbMATH DE number 641213
• scientific article; zbMATH DE number 971305
• Publication:4715393

zbMATH Keywords

C programming languageANSI standardhierarchy of data types

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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 Q4039723)