Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Symbolic Algebraic Methods and Verification Methods

Name: Symbolic Algebraic Methods and Verification Methods
Brand: Springer, Wien
SKU: 01464536
Price: 51.73 EUR
Availability: InStock
Author: Götz Alefeld
ISBN: 9783211835937

Götz Alefeld

Jiri Rohn

Siegfried Rump

Language

English

Book Paperback

Libristo code: 01464536

Publishers Springer, Wien, March 2001

The usual implementation of real numbers as floating point numbers on existing computers has the wel... Full description

Libristo code: 01464536

125 b

51.73 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Angel Gabriel - Pacto de Sangue: Edicao de 5 anos Ana C Nunes

Paperback

17.51 €

Der, Die, Das Constantin Vayenas

Adobe ePub DRM

10.62 €

Die Stellung der Gesellschaft des bürgerlichen Rechts im Erkenntnis-, Vollstreckungs- und Konkursverfahren. Stephan Göckeler

Paperback

66.01 €

Pershing Příběh 5hvězdičkového generála Ivan Brož

Hardback

0.90 €

Modellizzazione di sistemi informativi per gli insegnanti FRAM Luc Léonard Lezoma

Paperback

39.28 €

Privatisierung durch Ausschreibungsverfahren. Wolf-Henner Snethlage

Paperback

137.71 €

Alternativen zur Kündigung Marion Bernhardt

Paperback

35.43 €

Fischer-Kontroverse - eine Zasur in der deutschen Geschichtsschreibung? Kurt Fuchs

Paperback

16.19 €

Tage des Lotus Peter Lehmann

Hardback

15.28 €

Ruf der Generation Y nach Easy Economy Maria Kovarik

Paperback

35.74 €

Alice A. Bailey, Vida e Legado Isobel Blackthorn

Paperback

19.84 €

Comunicazione Assertiva Ed Efficace 3.0 Carbone Nicola Carbone

Paperback

12.14 €

Der gelbe Hund Udo O. Rabsch

Paperback

14.88 €

Medicine et pedagogie: lecons professees a l'Ecole des hautes etudes sociales Ecoles Des Hautes Etudes Sociales

Paperback

25.20 €

Neues von Mara und Timo Birgit Sommer

Paperback

5.66 €

Die Gattung Boa Klaus Bonny

Hardback

33.51 €

Einfach mal den Weg gehen Rainer Jäckle

Paperback

9.00 €

No Hay Que Morir Dos Veces Francisco G. Ledesma

Paperback

11.23 €

L'Arabie Heureuse, Souvenirs de Voyages En Afrique Et En Asie. Volume 1 DU COURET-L

Paperback

25.20 €

Mythologie de Tous Les Temps, de Tous Les Lieux Et de Tous Les Peuples Bescherelle-L-N

Paperback

16.50 €

Serce za serce czyli co to znaczy kochac Twardowski Jan

Hardback

12.14 €

The usual implementation of real numbers as floating point numbers on existing computers has the well-known disadvantage that most of the real numbers are not exactly representable in floating point. Also the four basic arithmetic operations can usually not be performed exactly. During the last years research in different areas has been intensified in order to overcome these problems. (LEDA-Library by K. Mehlhorn et al., Exact arithmetic with real numbers by A. Edalat et al., Symbolic algebraic methods, verification methods). The latest development is the combination of symbolic-algebraic methods and verification methods to so-called hybrid methods. This book contains a collection of worked out talks on these subjects given during a Dagstuhl seminar at the Forschungszentrum für Informatik, Schloss Dagstuhl, Germany, presenting the state of the art.