Automatische Synthese rekursiver Programme als Beweisverfahren - Susanne Biundo

Susanne Biundo

Automatische Synthese rekursiver Programme als Beweisverfahren

Auflage 1992. VIII, 259 S. Dateigröße in MByte: 17.
pdf eBook , 259 Seiten
ISBN 3642847447
EAN 9783642847448
Veröffentlicht März 2013
Verlag/Hersteller Springer

Auch erhältlich als:

Taschenbuch
€ 54,99
€ 42,99 inkl. MwSt.
Sofort Lieferbar (Download)
Auf die Wunschliste
Teilen

Weitere interessante Themen

Technik
Sie können dieses eBook zum Beispiel mit den folgenden Geräten lesen:
• tolino Reader 
Laden Sie das eBook direkt über den Reader-Shop auf dem tolino herunter oder übertragen Sie das eBook auf Ihren tolino mit einer kostenlosen Software wie beispielsweise Adobe Digital Editions. 
• Sony Reader & andere eBook Reader 
Laden Sie das eBook direkt über den Reader-Shop herunter oder übertragen Sie das eBook mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions auf ein Standard-Lesegeräte. 
• Tablets & Smartphones 
Möchten Sie dieses eBook auf Ihrem Smartphone oder Tablet lesen, finden Sie hier unsere kostenlose Lese-App für iPhone/iPad und Android Smartphone/Tablets. 
• PC & Mac 
Lesen Sie das eBook direkt nach dem Herunterladen mit einer kostenlosen Lesesoftware, beispielsweise Adobe Digital Editions, Sony READER FOR PC/Mac oder direkt über Ihre eBook-Bibliothek in Ihrem Konto unter „Meine eBooks“ -  „Sofort online lesen über Meine Bibliothek“.
 
Bitte beachten Sie, dass die Kindle-Geräte das Format nicht unterstützen und dieses eBook somit nicht auf Kindle-Geräten lesbar ist.

Das könnte Sie auch interessieren

Cover-Bild zum Titel 'Linux' von 'Michael Kofler'
Michael Kofler
Linux
epub eBook
Download
€ 49,90
Cover-Bild zum Titel 'GenAI Security' von 'Paul Zenker'
Paul Zenker
GenAI Security
epub eBook
Download
€ 34,90
Cover-Bild zum Titel 'Einstieg in Linux Mint 22' von 'Dirk Becker'
Dirk Becker
Einstieg in Linux Mint 22
epub eBook
Download
€ 29,90
Cover-Bild zum Titel 'That's me!' von 'Thomas Pyczak'
Thomas Pyczak
That's me!
epub eBook
Download
€ 29,90
Cover-Bild zum Titel 'Künstliche Intelligenz verstehen' von 'Pit Noack, Sophia Sanner'
Pit Noack
Künstliche Intelligenz verstehen
epub eBook
Download
€ 29,90
Cover-Bild zum Titel 'Software-Architektur kompakt' von 'Gernot Starke, Peter Hruschka'
Gernot Starke
Software-Architektur kompakt
pdf eBook
Download
€ 8,98
Cover-Bild zum Titel 'Home Assistant' von 'Udo Brandes'
Udo Brandes
Home Assistant
epub eBook
Download
€ 39,90
Cover-Bild zum Titel 'Einfach klar!' von 'Petra van Laak'
Petra van Laak
Einfach klar!
epub eBook
Download
€ 24,90
Cover-Bild zum Titel 'Digital anders arbeiten' von 'Sigrid Hess'
Sigrid Hess
Digital anders arbeiten
epub eBook
Download
€ 2,99
Cover-Bild zum Titel 'An Liebe führt kein Weg vorbei' von 'Anne Sanders'
Anne Sanders
An Liebe führt kein Weg vorbei
epub eBook
Download
€ 10,99