Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings - Couverture souple

Clarke, Edmund M.; Kurshan, Robert P.

9783540544777: Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Couverture souple

ISBN 10 : 3540544771 ISBN 13 : 9783540544777

Editeur : Springer, 2008

Afficher les exemplaires de cette �dition comportant l?ISBN

2 D'occasion

De EUR 41,35

12 Neuf

De EUR 51,65

This volume is the proceedings of a workshop presenting results that lead to new or more powerful computer aided verification methods: advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations, and proof-checking in controller verification.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2008
Langue: anglais
ISBN 10: 3540544771
ISBN 13: 9783540544777
Reliure: Broch�
Nombre de pages: 392
Coordonn�es du fabricant: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne

Acheter D'occasion

�tat : Assez bon

Ex-library paperback in very nice...

Afficher cet article

EUR 41,35

Exp�dition �EUR 5,89
Exp�dition nationale�: Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 51,65

Exp�dition �EUR 3,36
Exp�dition nationale�: Etats-Unis

Ajouter au panier

Autres �ditions populaires du m�me titre

9783662202661: Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Edition pr�sent�e

ISBN 10 : 3662202662 ISBN 13 : 9783662202661
Editeur : Springer, 2014
Couverture souple

R�sultats de recherche pour Computer-Aided Verification: 2nd Internatonal Conference,...

Image d'archives

Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science)

Clarke, Edmund M. [Editor]; Kurshan, Robert P. [Editor];

Edit� par Springer, 1991

ISBN 10 : 3540544771 ISBN 13 : 9783540544777

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N� de r�f. du vendeur UTD14a-0765

Contacter le vendeur

Acheter D'occasion

EUR 41,35

Exp�dition �EUR 5,89
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science, 531)

Clarke, Edmund M.; Kurshan, Robert P.

Edit� par Springer, 1991

ISBN 10 : 3540544771 ISBN 13 : 9783540544777

Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020170036

Contacter le vendeur

Acheter neuf

EUR 51,65

Exp�dition �EUR 3,36
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Computer-aided Verification : 2nd Internatonal Conference, C. A. V. '90, New Brunswick, N. J., U. S. A., June 18-21, 1990. Proceedings

Clarke, Edmund M.; Kurshan, Robert P. (EDT)

Edit� par Springer, 1991

ISBN 10 : 3540544771 ISBN 13 : 9783540544777

Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 5906409-n

Contacter le vendeur

Acheter neuf

EUR 52,80

Exp�dition �EUR 2,22
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 15 disponible(s)

Ajouter au panier

Image d'archives

Computer-Aided Verification (Paperback)

Edmund M. Clarke, Jr.

Edit� par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1991

ISBN 10 : 3540544771 ISBN 13 : 9783540544777

Neuf Paperback

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. This volume contains the proceedings of the second workshopon Computer Aided Verification, held at DIMACS, RutgersUniversity, June 18-21, 1990. Itfeatures theoreticalresults that lead to new or more powerful verificationmethods. Among these are advances in the use of binarydecision diagrams, dense time, reductions based upon partialorder representations and proof-checking in controllerverification. The motivation for holding a workshop oncomputer aided verification was to bring together work oneffective algorithms or methodologies for formalverification - as distinguished, say,from attributes oflogics or formal languages. The considerable interestgenerated by the first workshop, held in Grenoble, June 1989(see LNCS 407), prompted this second meeting. The generalfocus of this volume is on the problem of making formalverification feasible for various models of computation. Specific emphasis is on models associated with distributedprograms, protocols, and digital circuits. The general testof algorithm feasibility is to embed it into a verificationtool, and exercise that tool on realistic examples: theworkshop included sessionsfor the demonstration of newverification tools. This volume contains the proceedings of the second workshopon Computer Aided Verification, held at DIMACS, RutgersUniversity, June 18-21, 1990. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9783540544777

Contacter le vendeur

Acheter neuf

EUR 55,10

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science, 531)

Clarke, Edmund M.; Kurshan, Robert P.

Edit� par Springer, 1991

ISBN 10 : 3540544771 ISBN 13 : 9783540544777

Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur I-9783540544777

Contacter le vendeur

Acheter neuf

EUR 58,98

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Computer-aided Verification : 2nd Internatonal Conference, C. A. V. '90, New Brunswick, N. J., U. S. A., June 18-21, 1990. Proceedings

Clarke, Edmund M.; Kurshan, Robert P. (EDT)

Edit� par Springer, 1991

ISBN 10 : 3540544771 ISBN 13 : 9783540544777

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 5906409

Contacter le vendeur

Acheter D'occasion

EUR 59,98

Exp�dition �EUR 2,22
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 15 disponible(s)

Ajouter au panier

Image d'archives

Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science, 531)

Clarke, Edmund M.; Kurshan, Robert P.

Edit� par Springer, 1991

ISBN 10 : 3540544771 ISBN 13 : 9783540544777

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783540544777_new

Contacter le vendeur

Acheter neuf

EUR 58,48

Exp�dition �EUR 13,80
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Clarke, Edmund M.

Edit� par Springer 1991-10, 1991

ISBN 10 : 3540544771 ISBN 13 : 9783540544777

Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

PF. Etat : New. N� de r�f. du vendeur 6666-IUK-9783540544777

Contacter le vendeur

Acheter neuf

EUR 56,71

Exp�dition �EUR 17,84
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Computer-Aided Verification

Clarke, Edmund M.|Kurshan, Robert P.

Edit� par Springer Berlin Heidelberg, 1991

ISBN 10 : 3540544771 ISBN 13 : 9783540544777

Neuf Kartoniert / Broschiert

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the proceedings of the second workshopon Computer Aided Verification, held at DIMACS, RutgersUniversity, June 18-21, 1990. Itfeatures theoreticalresults that lead to new or more powerful verificationmethods. Among these. N� de r�f. du vendeur 4893203

Contacter le vendeur

Acheter neuf

EUR 48,37

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Computer-Aided Verification

Robert P. Kurshan

Edit� par Springer Berlin Heidelberg Okt 1991, 1991

ISBN 10 : 3540544771 ISBN 13 : 9783540544777

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the second workshopon Computer Aided Verification, held at DIMACS, RutgersUniversity, June 18-21, 1990. Itfeatures theoreticalresults that lead to new or more powerful verificationmethods. Among these are advances in the use of binarydecision diagrams, dense time, reductions based upon partialorder representations and proof-checking in controllerverification. The motivation for holding a workshop oncomputer aided verification was to bring together work oneffective algorithms or methodologies for formalverification - as distinguished, say,from attributes oflogics or formal languages. The considerable interestgenerated by the first workshop, held in Grenoble, June 1989(see LNCS 407), prompted this second meeting. The generalfocus of this volume is on the problem of making formalverification feasible for various models of computation.Specific emphasis is on models associated with distributedprograms, protocols, and digital circuits. The general testof algorithm feasibility is to embed it into a verificationtool, and exercise that tool on realistic examples: theworkshop included sessionsfor the demonstration of newverification tools. 392 pp. Englisch. N� de r�f. du vendeur 9783540544777

Contacter le vendeur

Acheter neuf

EUR 80,24

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

There are 4 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre