Articles liés à Advances in Theory and Formal Methods of Computing:...
Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop - Couverture rigide
Synopsis
This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science. Formal specification, theorem proving, operational and denotational semantics, real number computation, computational measure theory, and neural networks are all represented.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Advances in Theory and Formal Methods of Computing:...
Image fournie par le vendeur
Advances in Theory and Formal Methods of Computing : Proceedings of the Third Imperial College Workshop
Edité par
Imperial College Press, 1996
ISBN 10 : 1860940315
ISBN 13 : 9781860940316
Neuf
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 20435735-n
Acheter neuf
EUR 156,48
Expédition à EUR 2,35
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop
Edité par
Imperial College Press, 1996
ISBN 10 : 1860940315
ISBN 13 : 9781860940316
Neuf
Couverture rigide
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9781860940316
Acheter neuf
EUR 158,92
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop
Edité par
Imperial College Press, GB, 1996
ISBN 10 : 1860940315
ISBN 13 : 9781860940316
Neuf
Couverture rigide
Vendeur : Rarewaves USA, HEBRON, KY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science. Formal specification, theorem proving, operational and denotational semantics, real number computation, computational measure theory, and neural networks are all represented. N° de réf. du vendeur LU-9781860940316
Acheter neuf
EUR 162,78
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Advances in Theory and Formal Methods of Computing : Proceedings of the Third Imperial College Workshop
Edité par
Imperial College Press, 1996
ISBN 10 : 1860940315
ISBN 13 : 9781860940316
Neuf
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 20435735-n
Acheter neuf
EUR 179,29
Expédition à EUR 17,70
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop
Edité par
IMPERIAL COLLEGE PR, 1996
ISBN 10 : 1860940315
ISBN 13 : 9781860940316
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science, including formal specification, theorem proving, and . N° de réf. du vendeur 597127143
Acheter neuf
EUR 151,78
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop
Edité par
Imperial College Press, GB, 1996
ISBN 10 : 1860940315
ISBN 13 : 9781860940316
Neuf
Couverture rigide
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science. Formal specification, theorem proving, operational and denotational semantics, real number computation, computational measure theory, and neural networks are all represented. N° de réf. du vendeur LU-9781860940316
Acheter neuf
EUR 207,44
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop
Edité par
Imperial College Pr, 1996
ISBN 10 : 1860940315
ISBN 13 : 9781860940316
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 340 pages. 8.50x6.30x1.02 inches. In Stock. N° de réf. du vendeur x-1860940315
Acheter neuf
EUR 198,45
Expédition à EUR 14,75
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop
Edité par
Imperial College Press, GB, 1996
ISBN 10 : 1860940315
ISBN 13 : 9781860940316
Neuf
Couverture rigide
Vendeur : Rarewaves USA United, HEBRON, KY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science. Formal specification, theorem proving, operational and denotational semantics, real number computation, computational measure theory, and neural networks are all represented. N° de réf. du vendeur LU-9781860940316
Acheter neuf
EUR 179,29
Expédition à EUR 44,59
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Advances In Theory And Formal Methods Of Computing | Proceedings Of The Third Imperial College Workshop
impression à la demandeVendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Advances In Theory And Formal Methods Of Computing | Proceedings Of The Third Imperial College Workshop | S Mccusker Jourdan A Edalat | Buch | Englisch | 1996 | ICP | EAN 9781860940316 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand. N° de réf. du vendeur 136868187
Acheter neuf
EUR 157,35
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Advances In Theory And Formal Methods Of Computing : Proceedings Of The Third Imperial College Workshop
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science. Formal specification, theorem proving, operational and denotational semantics, real number computation, computational measure theory, and neural networks are all represented. N° de réf. du vendeur 9781860940316
Acheter neuf
EUR 206,45
Expédition à EUR 35
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)