Autorzy | |
Wydawnictwo | Springer Nature Switzerland AG |
Data wydania | 05/12/2022 |
Liczba stron | 222 |
Forma publikacji | książka w miękkiej oprawie |
Poziom zaawansowania | Dla profesjonalistów, specjalistów i badaczy naukowych |
Język | angielski |
ISBN | 9783030878849 |
Kategorie | Sprzęt komputerowy |
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification