Photo 1 sur 1

Vous en avez un à vendre?

Vendez le vôtre

Description formelle Techniques VIII par Gregor von Bochmann (anglais) couverture rigide Bo

grandeagleretail

(921831)

241,60 $US

Environ330,10 $C

État :

Entièrement neuf

Quantité :

3 disponibles

Ayez l'esprit tranquille. Renvois acceptés.

Expédition :

Sans frais Economy Shipping. En savoir plussur l'expédition

Lieu : Fairfield, Ohio, États-Unis

Livraison :

Livraison prévue entre le jeu. 11 juil. et le lun. 22 juil. à 43230

Renvois :

Renvoi sous 30jours. L'acheteur paie les frais de port du renvoi. En savoir plus- pour en savoir plus sur les renvois

Paiements :

Magasinez en toute confiance

Garantie de remboursement eBay

Recevez l'objet commandé ou obtenez un remboursement. En savoir plusGarantie de remboursement eBay - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Signaler cet objet - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :364701064646

Dernière mise à jour : mai 19, 2024 06:27:44 HAEAfficher toutes les modificationsAfficher toutes les modifications

Caractéristiques de l'objet

État: Entièrement neuf: Un livre neuf, non lu, non utilisé et en parfait état, sans aucune page manquante ...

ISBN-13: 9780412732706

Book Title: Formal Description Techniques VIII

ISBN: 9780412732706

Subject Area: Computers, Technology & Engineering, Language Arts & Disciplines

Publication Name: Formal Descriptions Techniques VIII

Publisher: Springer

Item Length: 9.3 in

Subject: Signals & Signal Processing, Networking / General, Linguistics / General

Publication Year: 1996

Series: Ifip Advances in Information and Communication Technology Ser.

Type: Textbook

Format: Hardcover

Language: English

Author: Chapman and Hall Staff

Item Weight: 65.3 Oz

Item Width: 6.1 in

Number of Pages: Xiv, 452 Pages

À propos de ce produit

Product Information

This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.

Product Identifiers

Publisher

Springer

ISBN-10

041273270x

ISBN-13

9780412732706

eBay Product ID (ePID)

7038313148

Product Key Features

Number of Pages

Xiv, 452 Pages

Language

English

Publication Name

Formal Descriptions Techniques VIII

Publication Year

1996

Subject

Signals & Signal Processing, Networking / General, Linguistics / General

Type

Textbook

Subject Area

Computers, Technology & Engineering, Language Arts & Disciplines

Author

Chapman and Hall Staff

Series

Ifip Advances in Information and Communication Technology Ser.

Format

Hardcover

Dimensions

Item Weight

65.3 Oz

Item Length

9.3 in

Item Width

6.1 in

Additional Product Features

Intended Audience

Scholarly & Professional

Dewey Edition

Number of Volumes

1 Vol.

Illustrated

Yes

Volume Number

VIII

Dewey Decimal

004.62

Lc Classification Number

Tk5102.9

Table of Content

Preface. Invited presentation. Design methodologies. Verification I. Algebraic languages. System specification and Z. Invited presentation. Industrial experiences. Applying formal methods. Tools and testing. Real-time and stochastic systems. Verification II. List of tools for demonstrations. Keyword index.

1996

Description de l'objet du vendeur

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :364701064646

Dernière mise à jour : mai 19, 2024 06:27:44 HAEAfficher toutes les modificationsAfficher toutes les modifications

Expédition et manutention

Lieu où se trouve l'objet :

Fairfield, Ohio, États-Unis

Expédition :

Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Antilles néerlandaises, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, Biélorussie, Bolivie, Bosnie-Herzégovine, Botswana, Brunéi Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bélize, Bénin, Cambodge, Cameroun, Canada, Chili, Chine, Chypre, Colombie, Comores, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Fidji, Finlande, France, Gabon, République du, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guernesey, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irak, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jersey, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Mauritanie, Mayotte, Mexique, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Nioué, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Panama, Papouasie-Nouvelle-Guinée, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, Rwanda, République centrafricaine, République de Croatie, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Sahara occidental, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Pierre-et-Miquelon, Saint-Vincent-et-les Grenadines, Sainte-Hélène, Sainte-Lucie, Salvador, Samoa, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Somalie, Sri Lanka, Suisse, Suriname, Suède, Svalbard et Jan Mayen, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Tuvalu, Uruguay, Vanuatu, Vietnam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, Éthiopie, Île Maurice, Îles Caïmans, Îles Cook, Îles Malouines (îles Falkland), Îles Salomon, Îles Turks et Caicos, Îles Vierges britanniques, Îles du Cap-Vert

Lieux exclus :

Adresses militaires ou navales, Alaska/Hawaii, Barbade, Guadeloupe, Guyane française, Libye, Martinique, Nouvelle-Calédonie, Polynésie française, Protectorats des États-Unis, Russie, Réunion, Ukraine, Venezuela

Quantité :

Changer de pays :

Code postal :

Expédition et manutention	Chaque objet supplémentaire	À	Service	Livraison*Voir les remarques sur la livraison
Expédition sans frais	Sans frais	États-Unis	Economy Shipping	Livraison prévue entre le jeu. 11 juil. et le lun. 22 juil. à 43230

*Les dates de livraison approximatives – s'ouvre dans une nouvelle fenêtre ou un nouvel onglet tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.Remarques - Livraison *Les dates de livraison approximatives tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.

Délai de manutention

Expédition dans les 10 jours ouvrables après réception du paiement.

Taxes

Des taxes peuvent s'appliquer à la conclusion de la transaction. En savoir plusEn savoir plus au sujet du paiement de taxes sur les achats eBay.

Taxe de vente pour cet objet (364701064646)

Le vendeur facture une taxe de vente pour les États suivants :

État	Taux de la taxe de vente

*La taxe s'applique uniquement au sous-total + frais d'expédition et de manutention pour les objets dans ces États

Modalités de renvoi

Après réception de l'objet, contactez le vendeur dans un délai de	Mode de remboursement
30 jours	Remboursement

Les frais d'expédition du renvoi sont à la charge de l'acheteur.

Détails du paiement

Modes de paiement

grandeagleretail

98,3% d'évaluations positives

2,7M objets vendus

Visiter la Boutique Contacter

Répond généralement en 24 heures

Évaluations détaillées du vendeur

Moyenne au cours des 12 derniers mois

Qualité de la description

4.9

Justesse des frais d'expédition

5.0

Rapidité de l'expédition

4.9

Communication

4.9

Catégories populaires de cette Boutique

Tout affichercatégories

The ArtsBiography & True StoriesChildren's & Young AdultComputing & ITEarth Sciences & GeographyFinance, Econ, Business & MgtFictionHealth & Personal DevelopmentHumanities

Évaluations comme vendeur (1 025 792)

6***c (328)- Évaluation laissée par l'acheteur.

Dernier mois

Achat vérifié

Beautiful book arrived in a timely manner. Packaging job was fantastic, the sturdy cardboard box ensured the item had a safe trip through the Canadian postal service. Thank you :)

Spycamara: Minox Story by Morris Moses (English) Hardcover Book (#364426996181)

w***q (557)- Évaluation laissée par l'acheteur.

Dernier mois

Achat vérifié

Very fast shipping cannot wait to read the book

The Indispensable Right: Free Speech in an Age of Rage by Jonathan Turley Hardco (#387058838335)

r***r (213)- Évaluation laissée par l'acheteur.

Dernier mois

Achat vérifié

Thank you

The Complete NIV Audio Bible: Read by David Suchet (MP3 CD) by New International (#392220183447)

Afficher toutes les évaluations