Cantitate/Preț
Produs
Total produse
Vezi coșul
First-Order Schemata and Inductive Proof Analysis de Alexander Leitsch

First-Order Schemata and Inductive Proof Analysis: Computer Science Foundations and Applied Logic

Autor Alexander Leitsch, David Michael Cerna, Anela Lolic
en Limba Engleză Hardback – 3 ian 2026

Din seria Computer Science Foundations and Applied Logic

  • 20% Structural Decision Diagrams in Digital Test
    Preț: 141740 lei
  • 15% Simple Type Theory
    Preț: 49151 lei
  • 20% Algorithms for Constructing Computably Enumerable Sets
    Preț: 37748 lei
  • Petri Net Primer
    Preț: 49547 lei
  • 20% Guide to Software Verification with Frama-C
    Preț: 43212 lei
  • 20% Category Theory Using Haskell
    Preț: 123349 lei

Preț: 91251 lei

Preț vechi: 120066 lei
-24%

Puncte Express: 1369

Carte tipărită la comandă

Livrare economică 06-13 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783032057402
ISBN-10: 303205740X
Pagini: 256
Ilustrații: X, 246 p. 10 illus., 3 illus. in color.
Dimensiuni: 160 x 241 x 20 mm
Greutate: 0.55 kg
Editura: birkhäuser
Colecția Computer Science Foundations and Applied Logic
Seria Computer Science Foundations and Applied Logic