World congress formal methods development (14 risultati)

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Spin'9 (1999 Toulouse, France); Gerth, R. (EDT); Massinek, M. (EDT); Massinek, Mieke (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Dams, Dennis (EDT); Dams, Dennis; World Congress on Formal Methods in the Development of Computing syste (COR)

Condizione: Usato - Come nuovo

EUR 62,59

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings

Lingua: Inglese

Editore: Springer, 1999

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Spin'9 (1999 Toulouse, France); Gerth, R. (EDT); Massinek, M. (EDT); Massinek, Mieke (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Dams, Dennis (EDT); Dams, Dennis; World Congress on Formal Methods in the Development of Computing syste (COR)

Condizione: Nuovo

EUR 75,96

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings

Lingua: Inglese

Editore: Springer, 1999

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Spin'9 (1999 Toulouse, France); Gerth, R. (EDT); Massinek, M. (EDT); Massinek, Mieke (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Dams, Dennis (EDT); Dams, Dennis; World Congress on Formal Methods in the Development of Computing syste (COR)

Condizione: Nuovo

EUR 60,88

EUR 17,66 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings

Lingua: Inglese

Editore: Springer, 1999

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 67,82

EUR 17,66 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

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

Lingua: Inglese

Editore: Springer, 1999

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 116,41

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 1999

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 116,41

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 1999

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 123,82

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: As New. Unread book in perfect condition.

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

Lingua: Inglese

Editore: Springer, 1999

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 117,50

EUR 17,66 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 1999

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 130,91

EUR 17,66 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

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

Lingua: Inglese

Editore: Springer, 1999

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 138,59

EUR 17,66 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer Verlag, 1999

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 164,93

EUR 17,66 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.

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

Lingua: Inglese

Editore: Springer, 1999

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

World Congress on Formal Methods in the Development of Compu

Condizione: Usato - Come nuovo

EUR 194,05

EUR 17,66 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

FM*99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, . II (Lecture Notes in Computer Science (1709))

Lingua: Inglese

Editore: Springer, 1999

Brossura

Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books

Venditore con 4 stelle

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

Condizione: Usato - Come nuovo

EUR 184,36

EUR 29,44 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

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

Lingua: Inglese

Editore: Springer, 1999

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle