Search:

Type:

Format:

Library:

[ 4 filters applied ]

Back To Results
Showing Item 1 of 2

Next ►

Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers Cover Image

E-book

E-book

Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic.

Johnson, Michael. (editor.). Pavlovic, Dusko. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642177965
Physical Description: X, 238p. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Search for related items by subject

Subject:

Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Programming Techniques.

Search for related items by series

Other Formats and Editions

E-book (2)
English (2)

View all formats and editions (2)

Add to basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Shelf Browser

► MARC Record

Back To Results
Showing Item 1 of 2

Next ►