Cover Image

Formal description techniques, VIII proceedings of IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995

Contains the research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage.

Saved in:

Bibliographic Details
Corporate Authors:	International Conference on Formal Description Techniques Montreal, Quebec, International Federation for Information Processing, International Federation for Information Processing. Technical Committee 6., IFIP Working Group 6.1
Other Authors:	Bochmann, Gregor von, Dssouli, R. (Rachida), Rafiq, Omar
Format:	Conference Proceeding Book
Language:	English
Published:	London ; New York Chapman & Hall on behalf of the International Federation for Information Processing (IFIP) 1996.
Subjects:	Computer programming > Congresses. Formal languages > Congresses.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Design patterns formalization techniques
Published: (2007)

Protocol test systems VIII proceedings of the IFIP WG 6.1 TC6 eighth International Workshop on Protocol Test Systems : September, 1995
Published: (1996)

Introduction to formal specification and Z
by: Potter
Published: (1996)

Database applications semantics proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6), Stone Mountain, Atlanta, Georgia, U.S.A., May 30-June 2, 1995
Published: (1997)

Hardware description languages and their applications specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
Published: (1997)

Database security, IX status and prospects : proceedings of the Ninth Annual IFIP TC11 Working Conference on Database Security, August 1995
Published: (1996)

Information system concepts towards a consolidation of views : proceedings of the IFIP international working conference on information system concepts, 1995
Published: (1995)

Software engineering for manufacturing systems methods and CASE tools IFIP TC5 international conference on Software...
Published: (1996)

New trends in software methodologies, tools and techniques
Published: (2016)

Structures under shock and impact VIII
Published: (2004)

Information security--the next decade : proceedings of the IFIP TC11 Eleventh International Conference on Information Security, IFIP/Sec '95
Published: (1995)

Introduction to automata theory, languages, and computation
by: Hopcroft, John E. 1939-
Published: (2001)

Domain knowledge for interactive system design proceedings of the TC8/WG8.2 Conference on Domain Knowledge in Interactive System Design, Switzerland, May 1996
Published: (1996)

Database security, volume X status and prospects : IFIP TC11/WG 11.3 Tenth International Conference on Database Security, 22-24 July 1996, Como, Italy
Published: (1997)

Material and manufacturing technology VIII 8th ICMMT : selected, peer reviewed papers from the 8th International Conference on Material Manufacturing Technology (ICMMT 2017), May 4-6, 2017, Singapore
Published: (2017)

Pendidikan nonformal dimensi dalam keaksaraan fungsional, pelatihan, dan andragogi
by: Marzuki, Saleh
Published: (2010)

Technology of object-oriented languages & systems TOOL 17 proceedings of the Seventeenth International Conference TOOLS SANTA BARBARA 1995
Published: (1995)

Distributed platforms proceedings of the IFIP/IEEE International Conference on Distributed Platforms: client/server and beyond: DCE, CORBA, ODP and advanced distributed applications
Published: (1996)

Control of partial differential equations and applications proceedings of the IFIP TC7/WG-7.2 international conference, Laredo, Spain
Published: (1996)

Materials science, testing and informatics VIII : 10th Hungarian Conference on Materials Science selected, peer reviewed papers from the 10th Hungarian Conference on Materials Science, October 11-13, 2015, Balatonalmádi, Hungary
Published: (2017)

Evaluasi program pendidikan luar sekolah untuk pendidikan nonformal dan pengembangan sumber daya manusia
by: Sudjana, Djudju
Published: (2008)

Databases and information systems IX selected papers from the Twelfth International Baltic Conference, DB&amp ; IS 2016
Published: (2016)

World Conference on Computers in Education VI WCCE '95, liberating the learner : proceedings of the sixth IFIP World Conference on Computers in Education, 1995
Published: (1995)

Information systems development for decentralized organizations proceedings of the IFIP working conference on information systems development for decentralized organizations, 1995
Published: (1995)

Language teaching, learning and research inspiring teacher, engaging learners : [from] 3rd International Language Conference (ILC) 2014, 4-6 June 2014

Parallel computing on the road to exascale
Published: (2016)

Petroleum geochemistry and exploration in the Afro-Asian region Proceedings of the 6th AAAPG International Conference, Beijing, China, 12-14 October 2004 /
Published: (2008)

Databases and information systems v selected papers from the Eighth International Baltic Conference, DB&IS 2008
Published: (2009)

Advances in coastal structures and breakwaters proceedings of the international conference organizad by the Institution of Civil Egineers and held in London on 27-29 April,1995
Published: (1996)

Small sample test technique 4th SSTT : selected, peer reviewed papers from the 4th International Conference SSTT "Detremination of Mechanical Properties of Materials by Small Punch and Other Miniature Testing Techniques", October 12-14, 2016, Shanghai, China
Published: (2017)

Advanced IT tools IFIP World Conference on IT Tools, 2-6 September 1996, Canberra, Australia
Published: (1996)

Advanced techniques for Java developers
by: Berg,Daniel J., et al.
Published: (1999)

The 21st annual International Symposium on Computer Architecture April 18-21, 1994, Chicago, Illinois : proceedings
Published: (1994)

2016 International Conference on Software Networking (ICSN), May 23rd to May 26th, 2016, Jeju Island, Korea
Published: (2016)

Soft soil engineering proceeding of the Fourth International Confenrence on Soft Soil Engineering, Vancouver, Canada,4-6 October,2006
Published: (2007)

Testing and measurement techniques and applications : proceedings of the 2015 International Conference on Testing and Measurement: Techniques and Applications (TMTA 2015), 16-17 January 2015, Phuket Island, Thailand
Published: (2015)

Identity, security and democracy the wider social and ethical implications of automated systems for human identification
Published: (2009)

Information modelling and knowledge bases XXVIII
Published: (2017)

Cryptography, automata and learning theory
Published: (2011)

Elements of the theory of computation
by: Lewis, Harry R.
Published: (1998)