Hartmanis j editor

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science (428))

Goos, G.; Hartmanis, J. (editor)

Lingua: Inglese

Editore: Springer, Berlin 1990

3540525130 / 9783540525134

Brossura

Da: Lowry's Books, Three Rivers, MI, U.S.A.Lowry's Books

Venditore con 4 stelle

Contatta il venditore

Condizione: Usato - Molto buono

EUR 13,61

EUR 5,24 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Paperback. Condizione: Very Good. No Jacket. This book is in very good condition with tight binding and clean text. Size: 8vo - over 7¾" - 9¾" tall.

Rewriting Techniques and Applications (Lecture Notes in Computer Science, 202)

Jouannaud, Jean-Pierre (editor) ; G. Goos; J. Hartmanis

Lingua: Inglese

Editore: Springer-Verlag, New York, Heidelberg, Berlin, Tokyo 1985

0387159762 / 9780387159768

Brossura
Prima edizione

Da: About Books, Henderson, NV, U.S.A.About Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Usato

EUR 22,63

EUR 6,12 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Paperback. Condizione: Near Fine condition. Condizione sovraccoperta: No Dust Jacket, as issued. First Edition. New York, Heidelberg, Berlin, Tokyo: Springer-Verlag, 1985. 6.5" wide by 9.5" No underlining. No highlighting. No margin notes. Clean, square, tight, unmarked copy. Flat spine. No creases. Page edges darkening a bit, a…

Foundations of Software Technology and Theoretical Computer Science: 19th Conference, Chennai, India, December 13-15, 1999, Proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science/ Hartmanis, J. (Editor)/ Ramanujam, R./ Goos, G. (Editor)/ Raman, V./ Leeuwen, J. Van (Editor)/ Pandu Rangan, C.

Lingua: Inglese

Editore: Springer Verlag 2000

3540668365 / 9783540668367

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 83,24

EUR 14,49 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 1st edition. 452 pages. 9.25x6.25x1.00 inches. In Stock.

Fm'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

World Congress on Formal Methods in the Development of Computing syste/ Woodcock, Jim (Editor)/ Davies, Jim (Editor)/ Goos, G. (Editor)/ Hartmanis, J. (Editor)/ Leeuwen, J. Van (Editor)/ Wing, Jeannette Marie (Editor)/ Wing, Jeannette Marie/ Woodcock, Jim/ Davies, Jim

Lingua: Inglese

Editore: Springer Verlag 1999

3540665889 / 9783540665885

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 166,61

EUR 17,39 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 1st edition. 1875 pages. 9.25x6.50x1.50 inches. In Stock.

Automata, Languages and Programming: 27th International Colloquium, Icalp 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings

Montanari, U. (Editor)/ Rolim, J. D. P. (Editor)/ Welzl, E. (Editor)/ Goos, G. (Editor)/ Hartmanis, J. (Editor)/ Leeuwen, J. Van (Editor)

Lingua: Inglese

Editore: Springer Verlag 2000

3540677151 / 9783540677154

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 166,67

EUR 17,39 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 1st edition. 941 pages. 9.00x6.00x1.25 inches. In Stock.

Database and Expert Systems Applications: 10th International Conference, Dexa'99, Florence, Italy, August 30 - September 3, 1999

Database and Expert Systems Applications Conference (10th : 1999 : Florence, Italy)/ Soda, Giovanni (Editor)/ Tjoa, a Min (Editor)/ Goos, G. (Editor)/ Hartmanis, J. (Editor)/ Leeuwen, J. Van (Editor)/ Capon, T. Bench (Editor)/ Bench-Capon, T. J. M.

Lingua: Inglese

Editore: Springer Verlag 1999

3540664483 / 9783540664482

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 169,34

EUR 23,19 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 1st edition. 1105 pages. French language. 9.25x6.25x1.75 inches. In Stock.

Hartmanis j editor (6 risultati)

Perfeziona la tua ricerca

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science (428))

Rewriting Techniques and Applications (Lecture Notes in Computer Science, 202)

Foundations of Software Technology and Theoretical Computer Science: 19th Conference, Chennai, India, December 13-15, 1999, Proceedings

Fm'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

Automata, Languages and Programming: 27th International Colloquium, Icalp 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings

Database and Expert Systems Applications: 10th International Conference, Dexa'99, Florence, Italy, August 30 - September 3, 1999