Editore: Springer Berlin / Heidelberg, 1999
ISBN 10: 3540654100 ISBN 13: 9783540654100
Lingua: Inglese
Da: Better World Books, Mishawaka, IN, U.S.A.
EUR 19,31
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. 1 Edition. Used book that is in excellent condition. May show signs of wear or have minor defects.
Editore: Springer Berlin / Heidelberg, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Lingua: Inglese
Da: Better World Books: West, Reno, NV, U.S.A.
EUR 31,94
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Used book that is in clean, average condition without any missing pages.
EUR 22,43
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Has some wear and creases. Has a remainder mark. paperback Used - Good 2010.
EUR 22,43
Convertire valutaQuantità: 3 disponibili
Aggiungi al carrelloCondizione: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2010.
EUR 45,38
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 59,66
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 58,09
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 52,71
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Editore: Springer Berlin Heidelberg, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2010, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.
EUR 64,74
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 476.
EUR 48,25
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
EUR 58,08
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 56,73
Convertire valutaQuantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Lingua: Inglese
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 79,18
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New. Num Pages: 452 pages, 51 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 233 x 156 x 29. Weight in Grams: 698. . 2010. Paperback. . . . .
EUR 66,11
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 81,74
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In English.
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
EUR 83,22
Convertire valutaQuantità: 5 disponibili
Aggiungi al carrelloPaperback or Softback. Condizione: New. Principles of Program Analysis. Book.
EUR 79,72
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 79,86
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Editore: Springer Berlin Heidelberg, 1999
ISBN 10: 3540654100 ISBN 13: 9783540654100
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 80,24
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1999, 1999
ISBN 10: 3540654100 ISBN 13: 9783540654100
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 80,24
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware -Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.
EUR 90,37
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 81,73
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Lingua: Inglese
Da: Kennys Bookstore, Olney, MD, U.S.A.
EUR 97,98
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New. Num Pages: 452 pages, 51 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 233 x 156 x 29. Weight in Grams: 698. . 2010. Paperback. . . . . Books ship from the US and Ireland.
EUR 74,31
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
EUR 34,01
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Good.
EUR 87,00
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 105,12
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 488.
EUR 76,30
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: New. In shrink wrap. Looks like an interesting title!