Image from Coce

Fundamentals of logic and computation: With practical automated reasoning and verification Hou, Zhe

By: Material type: TextTextLanguage: English Publication details: Switzerland Springer 2021Description: x, 221p. illISBN:
  • 9783030878818
Subject(s): Other classification:
  • D650bR1 R1
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)