Synopsis
PVSio is a conservative extension to the PVS prelude library that provides basic input/output capabilities to the PVS ground evaluator. It supports rapid prototyping in PVS by enhancing the specification language with built-in constructs for string manipulation, floating point arithmetic, and input/output operations.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Rapid Prototyping in Pvs
Image fournie par le vendeur
Rapid Prototyping in PVS
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 20040352-n
Acheter neuf
EUR 15,79
Expédition à EUR 2,32
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Rapid Prototyping in Pvs (Paperback or Softback)
Edité par
Bibliogov 7/15/2013, 2013
ISBN 10 : 1289165424
ISBN 13 : 9781289165420
Neuf
Paperback or Softback
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback or Softback. Etat : New. Rapid Prototyping in Pvs. Book. N° de réf. du vendeur BBS-9781289165420
Acheter neuf
EUR 18,19
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Rapid Prototyping in PVS
Edité par
Bibliogov, 2013
ISBN 10 : 1289165424
ISBN 13 : 9781289165420
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 20040352
Acheter D'occasion
EUR 16,55
Expédition à EUR 2,32
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Rapid Prototyping in PVS
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 30. N° de réf. du vendeur 393520115
Acheter neuf
EUR 18,55
Expédition à EUR 7,54
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Rapid Prototyping in PVS
impression à la demandeVendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 30. N° de réf. du vendeur 26386079788
Acheter neuf
EUR 24,62
Expédition à EUR 3,51
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Rapid Prototyping in PVS
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 30. N° de réf. du vendeur 18386079782
Acheter neuf
EUR 18,84
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Rapid Prototyping in PVS
Edité par
Bibliogov, 2013
ISBN 10 : 1289165424
ISBN 13 : 9781289165420
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 20040352
Acheter D'occasion
EUR 21,54
Expédition à EUR 17,41
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
Rapid Prototyping in PVS
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 20040352-n
Acheter neuf
EUR 23,13
Expédition à EUR 17,41
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
Rapid Prototyping in Pvs
impression à la demandeVendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. N° de réf. du vendeur C9781289165420
Acheter neuf
EUR 99,37
Expédition à EUR 13,67
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles