Aviso de envio ao Brasil

A iMusic aguarda aprovação no programa Remessa Conforme. Até que a adesão seja concluída, compras enviadas ao Brasil serão tributadas integralmente, inclusive pedidos abaixo de USD 50.

De acordo com a existente cláusula em nossos Termos e Condições, nós não aceitamos devoluções por recusa do pagamento desses impostos.

Atualizado em 13/05/2026 · De todos da iMusic

Lançamentos por Dines Bjorner

Em estoque na iMusic Mostrar itens não disponíveis

Cover for Dines Bjorner · Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 2008 edition] (2010)

Softcover reprint of hardcover 1st ed. 2008 edition

Logics of Specification Language... (2010)

Cover for Dines Bjorner · Software Engineering 1: Abstraction and Modelling - Texts in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 2006 edition] (2010)

Softcover reprint of hardcover 1st ed. 2006 edition

Software Engineering 1: Abstract... (2010)

Cover for Dines Bjorner · Software Engineering 2: Specification of Systems and Languages - Texts in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 2006 edition] (2010)

Softcover reprint of hardcover 1st ed. 2006 edition

Software Engineering 2: Specific... (2010)

Cover for Dines Bjorner · Software Engineering 3: Domains, Requirements, and Software Design - Texts in Theoretical Computer Science. An EATCS Series (Paperback Book) (2010)

Software Engineering 3: Domains,... (2010)

Cover for Dines Bjorner · Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series (Hardcover Book) [2008 edition] (2007)

Logics of Specification Language... (2007)

Cover for Dines Bjorner · Software Engineering 3: Domains, Requirements, and Software Design - Texts in Theoretical Computer Science. An EATCS Series (Hardcover Book) (2006)

Software Engineering 3: Domains,... (2006)

Cover for Dines Bjorner · Software Engineering 2: Specification of Systems and Languages - Texts in Theoretical Computer Science. An EATCS Series (Hardcover Book) [2006 edition] (2006)

Software Engineering 2: Specific... (2006)

Cover for Dines Bjorner · Software Engineering 1: Abstraction and Modelling - Texts in Theoretical Computer Science. An EATCS Series (Hardcover Book) [2006 edition] (2005)

Software Engineering 1: Abstract... (2005)

Cover for Dines Bjorner · Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996, Proceedings (Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, Ju (Paperback Book) (1996)

Perspectives of System Informati... (1996)

Cover for Dines Bjorner · Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28-july 2, 1993 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (1993)

Formal Methods in Programming an... (1993)

Cover for Dines Bjorner · V.d.m.and Z.: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-21, 1990, Proceedings (Paperback Book) (1990)

V.d.m.and Z.: Third Internationa... (1990)

Cover for Dines Bjorner · Vdm '87, Vdm, a Formal Method at Work: Vdm-europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings - Lecture Notes in Computer Science (Paperback Book) (1987)

Vdm '87, Vdm, a Formal Method at... (1987)