scientific article; zbMATH DE number 3634010
From MaRDI portal
Publication:4194727
zbMath0407.90053MaRDI QIDQ4194727
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Linear programming (90C05) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication:
