Practical Aspects of Declarative Languages | 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings

Manuel Hermenegildo (u. a.)

ISBN 10: 3540243623 / ISBN 13: 9783540243625

Published by Springer, 2005

About this Item

Practical Aspects of Declarative Languages | 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings | Manuel Hermenegildo (u. a.) | Taschenbuch | viii | Englisch | 2005 | Springer | EAN 9783540243625 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 102414545

Bibliographic Details

• Title: Practical Aspects of Declarative Languages | 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
• Publisher: Springer
• Publication Date: 2005
• Language: English
• ISBN 10: 3540243623
• ISBN 13: 9783540243625
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 17D millimeters 235 millimeters width by 155 millimeters height by 17 millimeters depth
• Weight: 452 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

claritywas“AProvablyCorrectCompilerforE?cientModelCheckingofMobile Processes,”byPingYang,YifeiDong,C.R.Ramakrishnan,andScottA.Smolka.