Data refinement model oriented proof par roever willem paul (11 résultats)
Langue : anglais
Edité par Cambridge University Press, 2008
Série : Livre 29 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 78,94
EUR 2,67 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Langue : anglais
Edité par Cambridge University Press, 2009
Série : Livre 29 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
- Édition originale
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 82,32
EUR 9,50 expéditionExpédition depuis Irlande vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. Graduate text in formal methods in computer science. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 436 pages, 18 b/w illus. 93 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 151 x 229 x 27. Weight in Grams: 660. . 2009. 1st Edition. paperback. . . . .…
Langue : anglais
Edité par Cambridge University Press, 2008
Série : Livre 29 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 104,80
EUR 9,36 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. Graduate text in formal methods in computer science. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 436 pages, 18 b/w illus. 93 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 151 x 229 x 27. Weight in Grams: 660. . 2009. 1st Edition. paperback. . . . . Books ship from the US and Ireland.…
Langue : anglais
Edité par Cambridge University Press, 1999
Série : Livre 29 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-UnisBennettBooksLtd
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 135,69
EUR 6,19 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
hardcover. Etat : New. In shrink wrap. Looks like an interesting title.
Langue : anglais
Edité par Cambridge University Press, 1999
Série : Livre 29 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 172,57
EUR 2,67 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Langue : anglais
Edité par Cambridge University Press, 1998
Série : Livre 29 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 181,06
EUR 9,50 expéditionExpédition depuis Irlande vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. Graduate text in formal methods in computer science. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 436 pages, 18 b/w illus. 93 exercises. BIC Classification: UN; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 29. Weight in Grams: 845. . 1998. hardcover. . . . . …
Langue : anglais
Edité par Cambridge University Press, 1999
Série : Livre 29 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 233,49
EUR 9,36 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. Graduate text in formal methods in computer science. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 436 pages, 18 b/w illus. 93 exercises. BIC Classification: UN; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 29. Weight in Grams: 845. . 1998. hardcover. . . . . Books ship from the US and Ireland. …
Langue : anglais
Edité par Cambridge University Press 2008-12, 2008
Série : Livre 29 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
- impression à la demande
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 74,44
EUR 7,75 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 20 disponibles
PF. Etat : New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.
Langue : anglais
Edité par Cambridge University Press, 2008
Série : Livre 29 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
- impression à la demande
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-UniTHE SAINT BOOKSTORE
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 90,22
EUR 20,84 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Autres imagesLangue : anglais
Edité par Cambridge University Press, 2008
Série : Livre 29 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
- impression à la demande
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 85,10
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponibles
Taschenbuch. Etat : Neu. Data Refinement | Model-Oriented Proof Methods and Their Comparison | Willem-Paul de Roever (u. a.) | Taschenbuch | Englisch | 2008 | Cambridge University Press | EAN 9780521103503 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand. …
Langue : anglais
Edité par Cambridge University Press, 1999
Série : Livre 29 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
- impression à la demande
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-UniTHE SAINT BOOKSTORE
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 239,31
EUR 22,87 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
