Home Submit URL Add to Favorite Contact
           29 March, 2024
 
    

Formal Specification Language

Go to 1 2 3 Next >> page 
The Coq proof assistant (Popularity: )
http://coq.inria.fr/
Allows the user to handle calculus assertions, to check mechanically proofs of these assertions, helps to find formal proofs, extracts a certified program from the constructive proof of its formal specification.
Category:   Science - Math - Logic and Foundations - Computational Logic

University of Newcastle upon Tyne (Popularity: )
http://www.csr.ncl.ac.uk/
Department of Computing Science: Centre for Software Reliability (CSR).
Category:   Computers - Computer Science - Academic Departments - Europe

Center for Software Reliability (Popularity: )
http://www.csr.ncl.ac.uk/
Group at University of Newcastle upon Tyne that conducts research on how to achieve improved dependability from computing systems.
Category:   Computers - Computer Science - Research Institutes

Centre for Software Reliability (Popularity: )
http://www.csr.ncl.ac.uk/
A research centre within the Department of Computing Science. Focus is achieving improved levels of dependability from computing systems.
Category:   Reference - Education - Colleges and Universities - Europe

Modern Language Association (Popularity: )
http://www.mla.org
The Modern Language Association is the official guide to non-fiction writing. The site includes a guide to MLA style.
Category:   Arts - Writers Resources - Style Guides

Related: Specification - Hp-il Interface Specification - Features And Specification - Technical Specification - Aircraft Specification


English Language Learning Online (Popularity: )
http://www.UsingEnglish.com/
Question bank for students, language forum, tests, language news for teachers, and an irregular verb list program.
Category:   Arts - Education - Language Arts - English

English: The International Language (Popularity: )
http://www.english-the-international-language.com/
Free online lessons, resources and advice for learners and teachers of English as a second language and English as a foreign language.
Category:   Arts - Education - Language Arts - English

Capital Language Academy (Popularity: )
http://www.cla.co.nz/
Private language school offering general and business English courses, CFC, TOEFL, IELTS, TOEIC, CELTA and high school preparation courses. Homestay, and farmstay.
Category:   Arts - Education - Language Arts - English

Exeter: Atlas Language School (Popularity: )
http://www.atlaslanguage.co.uk/
Summer language school with homestays and a social program available.
Category:   Arts - Education - Language Arts - English

Ramsgate: Churchill House School of English Language (Popularity: )
http://www.churchillhouse.com/
Large, multilingual website for recognized language school in the south of England offering high quality ESL courses.
Category:   Arts - Education - Language Arts - English

St George International English Language School (Popularity: )
http://www.stgeorges.co.uk/
A British Council recognised language school in the centre of London, established in 1962.
Category:   Arts - Education - Language Arts - English

English Language Training for Business (Popularity: )
http://www.companylanguages.com/
Provides intensive training in English language and communication skills for international managers, business personnel and executives.
Category:   Arts - Education - Language Arts - English

The English Studio Language School (Popularity: )
http://www.the-englishstudio.com/
English Language school in Central London providing full and part-time general and business English courses to foreign students. Accredited by the British Council; individual attention and expert tuition is given to students in a caring, supportive environment ...
Category:   Arts - Education - Language Arts - English

Westbury Sub-Mendip: Barnes Educational Services - English Language Education (Popularity: )
http://www.barnes-educational.co.uk/
Offers to place ESL students in British schools and accommodation with an English host family. Tuition is aimed at helping students perfect their knowledge of the English language and culture.
Category:   Arts - Education - Language Arts - English

Bath English Language School (Popularity: )
http://www.bath-school.co.uk
Offers English language courses for university students, translators and teachers.
Category:   Arts - Education - Language Arts - English

Brighton and Hove: The English Language Centre (Popularity: )
http://www.elc-brighton.co.uk/
English language courses all year round for adult students. Study year programmes, English for business, and summer vacation courses. Also classes for teachers of English.
Category:   Arts - Education - Language Arts - English

San Diego - English Language Academy (Popularity: )
http://www.ELAcademy.com
Offers English as a Second Language (ESL) courses.
Category:   Arts - Education - Language Arts - English

New York: GEOS Language Institute (Popularity: )
http://www.geosnyc.com/
Provides full and part time language courses in ESL, TOEFL TOEIC preparation for students. Business English and general English are also offered.
Category:   Arts - Education - Language Arts - English

Nova Scotia, Halifax: International Language Institute (ILI) (Popularity: )
http://www.ili.ca/
An official language-training centre for the Canadian government, a certified RSA-Cambridge teacher-training centre, and an associate of both Dalhousie University and the Nova Scotia Community College.
Category:   Arts - Education - Language Arts - English

Montreal - Point-3 Language Center (Popularity: )
http://www.point-3.com/
Offers professional language and cultural studies to students from around the world.
Category:   Arts - Education - Language Arts - English
Go to 1 2 3 Next >> page