Home/Producten/Canonical Equational Proofs (Progress in Theoretical Computer Science)

Beschrijving

Over dit product

Equations occur in many computer applications, such as symbolic compu tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated theorem proving.

Boekdetails

Serie: Progress in Theoretical Computer Science
Ondertitel: Progress in Theoretical Computer Science
Formaat: paperback
Uitgever: Springer
Imprint: Birkhauser Boston Inc
Auteur: Bachmair, Birkhauser Boston Inc, Springer
ISBN-13: 9780817635558
Verschijningsdatum: 2013-10-04T00:00:01Z
Pagina's: 148
Taal: english
Editie: Softcover reprint of the original 1st ed. 1991
Afmetingen: 9 mm × 235 mm × 155 mm
Gewicht: 222 g
Land van herkomst: US

paperback

Canonical Equational Proofs (Progress in Theoretical Computer Science)

€ 75,10

Op voorraad14 werkdagen

Gratis verzending30 dagen bedenktijd

1

Gratis verzending

vanaf €20

30 dagen retour

zonder gedoe

Veilig betalen via iDEAL of Klarna

iDEAL · Klarna

Waarom je dit mooi vindt

Premium kwaliteit, zorgvuldig geselecteerd
Snelle levering, morgen in huis
Eenvoudig retourneren binnen 30 dagen
Veilig betalen via iDEAL of Klarna

MYBOEKEN

Algemene voorwaarden
Bedrijfsgegevens
Over Myboeken
Keurmerk
Klantenservice
Contact
Privacy
Gids
Volg bestelling

INFORMATIE

Bestellen
Bezorgen
Betalen
Retour
Veelgestelde vragen
Garantie & Klachten
Zakelijke bestellingen
Blogs

CONTACT

Effect 4, 6921 RV Duiven

026-2074646

10:00 – 16:00

[email protected]

0638045945

Nieuwsbrief

Ontvang de beste aanbiedingen en tips

PAYMENT

Bancontact

Direct bank

iDEAL

Klarna

PayPal

SOFORT

VOLG ONS

Strips & Manga Kunst & fotografie Kinderboeken Studie & Wetenschap Levensstijl Overige

Myboeken is dé online boekwinkel voor zorgvuldig geselecteerde boeken. Snelle levering in Nederland & Europa.

Privacy Algemene Voorwaarden

© 2026 MYBOEKEN

Bestsellers Offerte Aanbiedingen

Categorieën Bestsellers Offerte Aanbiedingen

Populaire zoekopdrachten

Berserk Deluxe Volume 1

Berserk Deluxe Volume 1

9781506711980

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

9781526650535

The Hobbit and The Lord of the Rings: Deluxe Pocket Boxed Set: An Epic Fantasy Boxed Set of Tolkien's Quintessential Work

The Hobbit and The Lord of the Rings: Deluxe Pocket Boxed Set: An Epic Fantasy Boxed Set of Tolkien's Quintessential Work

9780544445789

Snel naar

Nieuwe releases trending-on-tiktok Cadeau-ideeën

Trending now

How to Build a Car: The Autobiography of the World’s Greatest Formula 1 Designer

How to Build a Car: The Autobiography of the World’s Greatest Formula 1 Designer

Newey, Adrian

The Science of Animals: Inside their Secret World

The Science of Animals: Inside their Secret World

DK || Chris Packham

The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track

The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track

Jean-Michel Guesdon || Philippe Margotin

Ride: Cycle the World

Ride: Cycle the World

DK Travel

Aanbevolen

Misschien vind je dit ook leuk

Murdoku: 80 Murder Mystery Logic Puzzles: Volume 1

M. Garand

Murdoku: 80 Murder Mystery Logic Puzzles: Volume 1

€ 20,70

Chanel: Collections and Creations

Danièle Bott

Chanel: Collections and Creations

€ 32,40

Japan: The Cookbook (Cucina)

Hachisu, Nancy Singleton

Japan: The Cookbook (Cucina)

€ 40,50

The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track

Jean-Michel Guesdon || Philippe Margotin

The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track

€ 40,50

Collins World Atlas: Complete Edition

Collins Maps

Collins World Atlas: Complete Edition

€ 34,20

Ride: Cycle the World

DK Travel

Ride: Cycle the World

€ 20,70

The Science of the Earth: The Secrets of Our Planet Revealed

DK || Chris Packham

The Science of the Earth: The Secrets of Our Planet Revealed

€ 28,80

Queen of Shadows: From the # 1 Sunday Times best-selling author of A Court of Thorns and Roses

Sarah J. Maas

Queen of Shadows: From the # 1 Sunday Times best-selling author of A Court of Thorns and Roses

€ 18,00

How to Build a Car: The Autobiography of the World’s Greatest Formula 1 Designer

Newey, Adrian

How to Build a Car: The Autobiography of the World’s Greatest Formula 1 Designer

€ 32,88

The Science of Animals: Inside their Secret World

DK || Chris Packham

The Science of Animals: Inside their Secret World

€ 33,10

Serie & gerelateerd

Meer over Progress

Penric's Progress: Volume 1

Lois McMaster Bujold

Penric's Progress: Volume 1

€ 30,07

The Progress of Nations: Or, the Principles of National Development in Their Relation to Statesmanship

Progress

The Progress of Nations: Or, the Principles of National Development in Their Relation to Statesmanship

€ 53,70

The Progress of Nations; Or the Principles of National Development in Their Relationship to Statesmanship: A Study in Analytical History

Progress

The Progress of Nations; Or the Principles of National Development in Their Relationship to Statesmanship: A Study in Analytical History

€ 46,70

The Progress of Nations: Or, the Principles of National Development in Their Relation to Statesmanship

Progress

The Progress of Nations: Or, the Principles of National Development in Their Relation to Statesmanship

€ 68,68

The Progress of Nations; Or the Principles of National Development in Their Relationship to Statesmanship: A Study in Analytical History

Progress

The Progress of Nations; Or the Principles of National Development in Their Relationship to Statesmanship: A Study in Analytical History

€ 68,58

The Progress of Fashion, a Series of Letters to a Friend

Progress

The Progress of Fashion, a Series of Letters to a Friend

€ 56,09

The Progress of the Revolutions of 1640 and 1830

Progress

The Progress of the Revolutions of 1640 and 1830

€ 49,10

Religious Progress. the Practical Christianity of Christ

Progress

Religious Progress. the Practical Christianity of Christ

€ 50,49

The Progress of the Revolutions of 1640 and 1830

Progress

The Progress of the Revolutions of 1640 and 1830

€ 24,43

Religious Progress. the Practical Christianity of Christ

Progress

Religious Progress. the Practical Christianity of Christ

€ 27,34