B machines and Event-B machines

Russian translation: машин метода В и машин метода Event-B

13:01 Feb 2, 2017
English to Russian translations [PRO]
Computers: Software / трансляция в JML
English term or phrase: B machines and Event-B machines
translation from B machines and Event-B machines to JML specifications defined through syntactic rules
trismegistus
Russian Federation
Local time: 05:27
Russian translation:машин метода В и машин метода Event-B
Explanation:
Event-B не переводится, см., например, http://www.khai.edu/csp/nauchportal/Arhiv/REKS/2014/REKS514/...
Selected response from:

Enote
Local time: 05:27
Grading comment
4 KudoZ points were awarded for this answer



Summary of answers provided
3машин метода В и машин метода Event-B
Enote


  

Answers


11 mins   confidence: Answerer confidence 3/5Answerer confidence 3/5
b machines and event-b machines
машин метода В и машин метода Event-B


Explanation:
Event-B не переводится, см., например, http://www.khai.edu/csp/nauchportal/Arhiv/REKS/2014/REKS514/...

Enote
Local time: 05:27
Works in field
Native speaker of: Native in RussianRussian
PRO pts in category: 552
Login to enter a peer comment (or grade)



Login or register (free and only takes a few minutes) to participate in this question.

You will also have access to many other tools and opportunities designed for those who have language-related jobs (or are passionate about them). Participation is free and the site has a strict confidentiality policy.

KudoZ™ translation help

The KudoZ network provides a framework for translators and others to assist each other with translations or explanations of terms and short phrases.


See also:

Your current localization setting

English

Select a language

Term search
  • All of ProZ.com
  • Term search
  • Jobs
  • Forums
  • Multiple search