Andere Kunden interessierten sich auch für
![Functional and Logic Programming - Proceedings of the Fuji International Workshop]( "Functional and Logic Programming - Proceedings of the Fuji International Workshop")
Functional and Logic Programming - Proceedings of the Fuji International Workshop128,99 €![Functional and Logic Programming - Proceedings of the Second Fuji International Workshop]( "Functional and Logic Programming - Proceedings of the Second Fuji International Workshop")
Functional and Logic Programming - Proceedings of the Second Fuji International Workshop123,99 €![Advanced Reliability Modeling - Proceedings of the 2004 Asian International Workshop (Aiwarm 2004)]( "Advanced Reliability Modeling - Proceedings of the 2004 Asian International Workshop (Aiwarm 2004)")
Advanced Reliability Modeling - Proceedings of the 2004 Asian International Workshop (Aiwarm 2004)300,99 €![Ordered Structure and Algebra of Computer Languages - Proceedings of the Conference]( "Ordered Structure and Algebra of Computer Languages - Proceedings of the Conference")
Ordered Structure and Algebra of Computer Languages - Proceedings of the Conference138,99 €![Software Engineering and Information Technology - Proceedings of the 2015 International Conference (SEIT2015)]( "Software Engineering and Information Technology - Proceedings of the 2015 International Conference (SEIT2015)")
Software Engineering and Information Technology - Proceedings of the 2015 International Conference (SEIT2015)182,99 €![Functional and Logic Programming: Proceedings of the Third Fuji International Symposium]( "Functional and Logic Programming: Proceedings of the Third Fuji International Symposium")
Functional and Logic Programming: Proceedings of the Third Fuji International Symposium132,99 €![Parallel Symbolic Computation Pasco '94 - Proceedings of the First International Symposium]( "Parallel Symbolic Computation Pasco '94 - Proceedings of the First International Symposium")
Parallel Symbolic Computation Pasco '94 - Proceedings of the First International Symposium168,99 €
The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers published here range from the purely theoretical to practical applications.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.