Algol-like Languages

Häftad, Engelska, 1996

Av Peter O'Hearn, Robert Tennent

1 809 kr

Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (4)

Inbunden

1 409 kr

Skickas inom 10-15 vardagar
Inbunden

1 409 kr

Skickas inom 10-15 vardagar
Häftad

1 399 kr

Skickas inom 10-15 vardagar
Häftad

1 409 kr

Skickas inom 10-15 vardagar

Produktinformation

  • Utgivningsdatum1996-12-01
  • Mått155 x 235 x 21 mm
  • Vikt617 g
  • FormatHäftad
  • SpråkEngelska
  • SerieProgress in Theoretical Computer Science
  • Antal sidor654
  • Upplaga1996
  • FörlagBirkhauser Boston Inc
  • ISBN9780817639365

Tillhör följande kategorier

Mer från samma författare

Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments

Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani

729 kr

Du kanske också är intresserad av

Algol-like Languages

Algol-like Languages

Peter O'Hearn, Robert Tennent

1 409 kr

Algol-like Languages

Algol-like Languages

Peter O'Hearn, Robert Tennent, R. D. Tennent

1 409 kr

Algol-like Languages

Algol-like Languages

Peter O'Hearn, Robert Tennent

1 399 kr

Algol-like Languages

Algol-like Languages

Peter O'Hearn, Robert Tennent, R. D. Tennent

1 409 kr

Logic of Domains

Logic of Domains

G. Zhang

1 409 kr

Cryptography and Computational Number Theory

Cryptography and Computational Number Theory

K. y. Lam, I. Shparll Inski, Igor E. Shparlinski, etc., Kwook-Yan Lam, Australia) Wang, Huaxiong University of Wollongong, Chaoping Xing, Kwok Y. Lam, Igor Shparlinski

1 169 kr

H-Infinity Control for Distributed Parameter Systems
Del 11

H-Infinity Control for Distributed Parameter Systems

Bert van Keulen, Netherlands) van Keulen, Bert (University of Groningen, B. Van Keulen, Bert Van Keulen, Bert van Keulen, B van Keulen

1 129 kr

Finite Automata, Formal Logic, and Circuit Complexity

Finite Automata, Formal Logic, and Circuit Complexity

Howard Straubing

1 539 kr

Isomorphisms of Types

Isomorphisms of Types

Roberto DiCosmo, Roberto Dicosmo

709 kr

Neural Networks and Analog Computation

Neural Networks and Analog Computation

Hava T. Siegelmann, Hava Siegelmann

2 099 kr