Concrete Abstractions

Research output: Book › Monograph

Abstract

cover ISBN 978-3-031-24933-4, Softcover ISBN 978-3-031-24936-5, eBook ISBN 978-3-031-24934-1

Name	Texts & Monographs in Symbolic Computation

@book{09b16a70416a4b11abd6c7d1f6b7158d,

title = "Concrete Abstractions",

abstract = "cover ISBN 978-3-031-24933-4, Softcover ISBN 978-3-031-24936-5, eBook ISBN 978-3-031-24934-1",

author = "Wolfgang Schreiner",

year = "2023",

doi = "10.1007/978-3-031-24934-1",

language = "English",

isbn = "978-3-031-24933-4",

series = "Texts \& Monographs in Symbolic Computation",

publisher = "Springer",

edition = "1",

}

TY - BOOK

T1 - Concrete Abstractions

AU - Schreiner, Wolfgang

PY - 2023

Y1 - 2023

N2 - cover ISBN 978-3-031-24933-4, Softcover ISBN 978-3-031-24936-5, eBook ISBN 978-3-031-24934-1

AB - cover ISBN 978-3-031-24933-4, Softcover ISBN 978-3-031-24936-5, eBook ISBN 978-3-031-24934-1

U2 - 10.1007/978-3-031-24934-1

DO - 10.1007/978-3-031-24934-1

M3 - Monograph

SN - 978-3-031-24933-4

T3 - Texts & Monographs in Symbolic Computation

BT - Concrete Abstractions

PB - Springer

CY - Cham, Switzerland

ER -